Prices are nuts though. I’m on the road a lot so I still get it especially if I roll into town extra late. But 20 years ago I could get a grilled stuffed burrito for like $2.50 and that was a whole meal. Maybe even the only thing I ate all day back in those poverty days. Now I spend at least 20 bucks for the same amount of food. And I could go to a nice Mexican American sit down place and get the same amount of much better food for about $15.