There is one. But when we went earlier this year , (May, i think) it didnt have any water in it. Only the huge indoor did. Call and ask front desk.
Only saw an indoor Olympic size pool during our stay in summer.
Thanks! Your answer is awaiting moderation.