Hi fellow Villagers! does anybody have any practical experience in utilizing a hot tub at their household but not covered under a Lanai? Hoping to determine if we must devote $8-10k (ouch) with a Lanai extension or merely set up the new tub on our BBQ patio area and see https://izmir-awning36108.onesmablog.com/the-smart-trick-of-izmir-awning-that-no-one-is-discussing-74608795