Hi Fellow Villagers! does any individual have any practical experience in employing a incredibly hot tub at their residence but not lined below a Lanai? Seeking to figure out if we need to devote $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio https://tarpaulin73692.dgbloggers.com/34503997/the-ultimate-guide-to-izmir-awning