Also from the US west, I’ve seen a bunch of hot vending machines! In several hospitals and schools in different states, a few gas stations. They will have coffee, tea or cocoa selections, a cup pops out and gets filled with fresh brewed coffee. They were usually around 1.50 to 2 dollars a cup, maybe more expensive now though.