Hello fellow Villagers! does anyone have any practical experience in employing a hot tub at their residence but not included beneath a Lanai? Striving to figure out if we need to shell out $eight-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio https://titusyawtn.pennywiki.com/4589359/5_simple_statements_about_izmir_awning_explained