Bob,
That was my guess also. We did not get to spend to much time relaxing there but I remember we did have some fun during down time.
Tom Gator 851.