I do not know how many people live full-time in RV parks across the Texas Gulf Coast. I’m not sure if anyone has even tried to take a proper census of this population and it may be im…