Hi fellow Villagers! does any one have any experience in using a incredibly hot tub at their home but not covered less than a Lanai? Seeking to figure out if we need to shell out $eight-10k (ouch) on a Lanai extension or simply just put in the recent tub on our BBQ patio spot and see if the bugs/ins