a pump house at a spa where medicinal waters are pumped and where patrons gather
A room housing a pump, especially a room or structure at a spa where mineral water is drawn from a spring and consumed, formerly often serving as a venue for polite socializing and conversation.