Hello Fellow Villagers! does any one have any practical experience in employing a hot tub at their home although not included below a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio https://izmir-tente94703.mappywiki.com/1382162/a_review_of_pergola