Has anyone taken their boat and gone camping on the Gulf at the beach camp sites in the everglades national park? How is the Flamingo boat ramp? Has anyone used it since it reopened?