Hello fellow Villagers! does everyone have any experience in using a warm tub at their residence but not protected underneath a Lanai? Hoping to figure out if we need to invest $8-10k (ouch) with a Lanai extension or merely put in the hot tub on our BBQ patio spot and find out When the bugs/insects will probably be tolerable? (We'd forecast the maj