The actual reason they kept the coffee at that temperature (since it usually wasn’t freshly brewed the brewing temperature doesn’t matter) is that hotter coffee takes longer to drink, which means fewer refills (which used to be free when this happened).