> apparently in the US you have to do some mental gymnastics to manually add sales tax to the listed price to figure out how much to pay in the first place

FWIW, usually in the US it's just a line item on the receipt or checkout screen.