It's a public bathhouse. Anyone half-familiar with japanese customs will tell you that. Traditions are fine, but factual errors aren't. Come to think of it, there's a closed as of yet area in the new Highway, which is an actual hot spring. When it comes out, how are we gonna call it to avoid confusion?