I'm in the process of having a vanishing edge pool built in Florida. I would prefer to not have a skimmer since the vanishing edge acts as a skimmer and all of the water will be pushing that way anyhow. However, an engineer says it is code on a residential pool to have a skimmer even when it's a vanishing edge pool. Does anyone know if that is actually true and the specific code that demands it?