Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their house but not included underneath a Lanai? Attempting to figure out if we need to invest $eight-10k (ouch) on a Lanai extension or simply just put in the new tub on our BBQ https://pergola58900.ktwiki.com/1354493/a_review_of_pergola