Hi Fellow Villagers! does anybody have any experience in using a scorching tub at their home although not lined under a Lanai? Hoping to figure out if we have to shell out $8-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio place https://izmirpergola27036.wikicarrier.com/520371/the_smart_trick_of_izmir_awning_that_no_one_is_discussing