pump room

Noun
  1. a pump house at a spa where medicinal waters are pumped and where patrons gather
pump room
The visitors gather in the historic pump room to drink the mineral water.