Hi, we have a trip planned for an October stay at Boardwalk Villas. We have family that just decided they want to join us and can only find availability at The Dolphin. Has anyone traveled with parties staying at Boardwalk and Dolphin? We are really hoping to relax together and let the cousins play in the pool together. Can we use each other’s pools? Thank you!