Just booked family vacation (wife and 2 sons ages 5 and 7) at POFQ from Oct. 15 - 23. I hope this falls at a good time. Columbus Day is the 11th and I have heard FLA schools have a few other days off during that period. I also heard the PGA has a tournament Oct 21-24. Do the crowds increase due to the PGA tournament?