Hot tub in a pool