Hi fellow Villagers! does any one have any practical experience in employing a very hot tub at their home but not protected less than a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) on the Lanai extension or simply install the hot tub on our BBQ https://angelozdvtp.blogtov.com/14540714/little-known-facts-about-izmir-awning