Hi Fellow Villagers! does any one have any working experience in employing a very hot tub at their household although not covered beneath a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ https://lukasudkhc.blogunteer.com/33155759/the-fact-about-izmir-awning-that-no-one-is-suggesting