Hi fellow Villagers! does anybody have any encounter in using a scorching tub at their household but not coated underneath a Lanai? Hoping to figure out if we must commit $8-10k (ouch) on a Lanai extension or just set up the hot tub on our BBQ patio location and see https://alexisiiebt.luwebs.com/34676997/the-smart-trick-of-izmir-awning-that-no-one-is-discussing