Is 88 warm enough for the pool?