Hi Fellow Villagers! does anyone have any expertise in using a hot tub at their property but not covered below a Lanai? Attempting to figure out if we must shell out $8-10k (ouch) on the Lanai extension or simply just put in the new tub on our BBQ patio spot https://tarpaulin84073.wikijm.com/1366949/the_best_side_of_izmir_pergola