Hi everyone We are planning an RV trip around Florida in December and we are going to be in Key West for Christmas Day. I am looking for some help with where to stay (RV Park) and also where to go for Christmas lunch/Dinner? Thanks