Hi fellow Villagers! does everyone have any knowledge in using a warm tub at their property although not included below a Lanai? Attempting to determine if we need to spend $eight-10k (ouch) over a Lanai extension or simply just put in the new tub on our BBQ patio space and find out If your bugs/insects will likely be tolerable? (We would predict m