Hi msujohn,
It is my understanding that the city requires 1 foot away per feet of pool depth. So in this case, the spa is "I believe" 4 feet, then I have a 4 foot gap between the waters edge and the patio. Make sense? You can also do a search on the Frisco City website for Swimming pool laws and regulations, and it will detail what is required.
Hope this helps