Hi Fellow Villagers! does any one have any practical experience in using a incredibly hot tub at their home but not lined under a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ https://tarpaulin93692.wikifrontier.com/8042929/a_review_of_izmir_pergola