The hotel’s public bath is not a natural hot spring.