Hi fellow Villagers! does any one have any working experience in employing a hot tub at their household but not included less than a Lanai? Striving to determine if we have to devote $8-10k (ouch) on the Lanai extension or simply just put in the hot tub on our BBQ https://brooksoqnhz.tdlwiki.com/1355333/a_review_of_izmir_pergola