 Okay. Just for reference, local price of gas, about $4 today. Cool. And that is down. By the way, I was in Texas. I mean, it wasn't a couple of months ago. It was $5. I was in Texas two weeks ago, $2.93 a gallon. Oh, my God. And if it was $3, it was like, oh, boy, they're really getting rich over there at that gas station. Because it was all just under $3 a gallon. In Texas, of course, that's where they do a lot of refining. Okay.