pump_room
1. [ noun ] (architecture) a pump house at a spa where medicinal waters are pumped and where patrons gather
Related terms: pump_house watering_place