I think we only had one of those, years ago, and we haven't...

I think we only had one of those, years ago, and we haven't contemplated it at all, since. Actually, tipping fees haven't been around all that long -- since about the mid 1990s. Prior to that, the entire cost was taken up by property tax.