You didn't tip for X in 2003 or 2013 -- should you tip for X in 2023?

I stood in line to buy a bottle of water at the airport. It was 7 flipping bucks. My flight was in the last stages of loading and I was thirsty so I bought it. The machine asked for a tip...in a retail store...that charged me $7 for 16oz of water.