We just got off a cruise on brilliance of the seas that had a similar lack of staff around the pool. Obviously, I have no idea if this is factual, but I did hear from a number of people that cruise lines are having the same labor issues. Many businesses in the US are having, and it wasn’t a question of the cruise line hiring few were just fewer people willing to work the cruise.