I'd also check the thermostats if there are any immersion heaters. In domestic systems the usage is normally low enough that you soon notice either a drastic increase in the temperature from the hot faucet, even if not actually hearing the water start to boil.
In a pub, it might go undetected with maybe one or two people just casually thinking that the water seems hotter than normal.
