but fun has always won out in the original spa town that helped invent playtime. "The Pump Room, where 18th-century dandies paraded when they made Bath the place to be seen, is only a few steps up ...