Hello fellow Villagers! does any one have any expertise in employing a sizzling tub at their property but not lined under a Lanai? Hoping to determine if we must expend $8-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio place and find out In the event the bugs/insects will be tolerable? (We might predict a lot of ou