A first-timer joining us on our next trip is a pretty serious swimmer and would really like to get a few good swims in during her stay. Which deluxe pool (not DVC) would you recommend? Obviously she isn't expecting to find something like she is accustomed to, but with enough space for her to get some laps in when the pools aren't in peak use by families. Do any of the larger pools have a dedicated lap lane? Or are any of the quiet pools on the larger side? I did a search and someone recommended Dolphin but I'd love to hear other ideas.