Hello fellow Villagers! does any individual have any knowledge in employing a very hot tub at their house but not protected below a Lanai? Attempting to determine if we must spend $8-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio area https://landenqpmfy.anchor-blog.com/14447774/tarpaulin-options