Hi Fellow Villagers! does anybody have any working experience in utilizing a hot tub at their home although not lined beneath a Lanai? Attempting to figure out if we have to shell out $eight-10k (ouch) on the Lanai extension or maybe set up the recent tub on our BBQ patio https://manuelbwfeb.blgwiki.com/1371021/pergola_options