Are non-guests allowed to use the pool and swim up bar at Fun Holiday? We had the lunch buffet there one day and it seemed like a pretty fun place to hang out at.