Hi fellow Villagers! does any one have any experience in using a hot tub at their household but not protected less than a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio space https://izmirtente15813.spintheblog.com/34522095/the-izmir-pergola-diaries