Hi Fellow Villagers! does everyone have any practical experience in utilizing a hot tub at their house although not included under a Lanai? Attempting to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ https://gregoryorokf.wizzardsblog.com/34128765/rumored-buzz-on-tarpaulin