Hi fellow Villagers! does any one have any knowledge in employing a hot tub at their house although not coated under a Lanai? Trying to figure out if we need to shell out $eight-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio location https://izmir-pergola07092.mywikiparty.com/1373832/a_review_of_pergola