Hello fellow Villagers! does everyone have any experience in employing a hot tub at their house but not coated less than a Lanai? Hoping to determine if we must spend $8-10k (ouch) with a Lanai extension or simply set up the recent tub on our BBQ patio place and see https://jaidenzcyvo.angelinsblog.com/33293645/the-smart-trick-of-izmir-awning-that-no-one-is-discussing