Anonymous
I'm nearly certain the pool is a full 25-yards long. My stroke count was right on my usual for 25 yards. The T's were closer to the wall than normal, which took some adjustment for flip timing. The pool was packed with kids in the evening but empty between 6 and 8 AM. It's about as good a pool as you could wish for in a hotel!