Congrats to your son. You must be very proud.
We own an Rv lot at Venture Out Resort in Cudjoe Key (lower Keys, near Key West)
We rent it out very inexpensively in the summer months. Let me know if you're interested.. There are lots of amenities and it's nice and clean.
HEREJust be AWARE that mini lobster season is July 29th and 30th. It gets CRAZY DOWN HERE and I would recommend you go before the last week of the month. Also, we charge more then. The first week of regular lobster season is Aug 1 and it's also pretty crazy then.
As far as things to do. Don't miss the nightly sunset celebration in Key West on Mallory Square.