Hi Fellow Villagers! does any individual have any practical experience in employing a hot tub at their residence but not protected below a Lanai? Attempting to figure out if we need to invest $8-10k (ouch) with a Lanai extension or perhaps install the new tub on our BBQ patio area https://izmir-awning93602.wikipublicity.com/6452866/the_best_side_of_tarpaulin