Hi Fellow Villagers! does any individual have any encounter in using a very hot tub at their property but not lined beneath a Lanai? Striving to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or perhaps install the new tub on our BBQ patio https://manuelhrbqz.tokka-blog.com/34380080/izmir-awning-secrets