Hello fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their house but not lined under a Lanai? Striving to determine if we must invest $eight-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio spot and see if the bugs/insects will be tolerable? (We would predict almost all of o