Hello fellow Villagers! does any one have any experience in using a very hot tub at their house but not coated beneath a Lanai? Seeking to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ https://pergola16024.wiki-jp.com/1378319/fascination_about_pergola