Dicho de otro modo, será aproximadamente como una piscina de Gym de esas cubiertas. Suelen ser todas igual.
lo de 15X9 no es que sea grande pero tampoco es un charco, pero vamos... que mejor 25X15, lo que desconocemos es la profundidad, a ver si va a llegar el agua por los tobillos... pero supongo que estará en torno al 1,80 aproximadamente.
No obstante, proximas reuniones, profundizar en el tema.