Hello fellow Villagers! does anybody have any working experience in utilizing a incredibly hot tub at their property but not included below a Lanai? Trying to determine if we must shell out $eight-10k (ouch) on the Lanai extension or merely put in the hot tub on our BBQ patio space https://izmirawning15814.blogunok.com/34284105/izmir-awning-secrets