Hello fellow Villagers! does anybody have any expertise in employing a incredibly hot tub at their residence but not protected less than a Lanai? Trying to figure out if we need to invest $8-10k (ouch) over a Lanai extension or simply just install the new tub on our BBQ patio https://tarpaulin30730.myparisblog.com/34751271/the-ultimate-guide-to-izmir-awning