Hi Fellow Villagers! does anybody have any encounter in using a very hot tub at their house but not included under a Lanai? Trying to determine if we have to spend $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio location and https://izmirawning56421.wikicommunication.com/5274743/details_fiction_and_tarpaulin