Hello Fellow Villagers! does anybody have any experience in using a very hot tub at their property although not covered below a Lanai? Making an attempt to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or merely set up the hot tub on our https://izmir-tente50379.ktwiki.com/1351044/pergola_options