Outside, the music was cheerful as three men jumped from the diving platform into the pool.