Hi fellow Villagers! does everyone have any experience in using a hot tub at their household but not covered below a Lanai? Hoping to figure out if we need to shell out $eight-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio region and find out In the event the bugs/insects might be tolerable? (We would predict almost