Synonyms for pump-room

Noun

1. pump room, pump house, pumping station

usage: a pump house at a spa where medicinal waters are pumped and where patrons gather