Great info, Frank R!
Fortunately, I didn't have to deal with this since my pool was built along with the house by the home-builder/pool-contractor back in 2004. It's a shame that Florida laws does not protect us, homeowners. We gotta watch our own backs...