Hello Fellow Villagers! does everyone have any experience in utilizing a very hot tub at their home but not lined under a Lanai? Hoping to figure out if we need to commit $eight-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio place https://izmirawning38370.jasperwiki.com/6623356/5_easy_facts_about_izmir_awning_described