Hi fellow Villagers! does anybody have any working experience in using a sizzling tub at their household although not lined less than a Lanai? Trying to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ https://izmirawning51366.wikinstructions.com/1375890/tarpaulin_options