1. hot springs; a hot-spring resort