retirement communities in florida have a lot of these weird mini private courses.