Hi fellow Villagers! does anybody have any encounter in using a sizzling tub at their property although not included under a Lanai? Attempting to figure out if we must commit $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio space and see https://andersonkfyqf.thekatyblog.com/32920991/pergola-no-further-a-mystery