Hello fellow Villagers! does any person have any expertise in employing a hot tub at their household but not included under a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) with a Lanai extension or maybe set up the recent tub on our BBQ patio space https://edwinyksaf.vidublog.com/33189389/rumored-buzz-on-tarpaulin