Hi Fellow Villagers! does any individual have any knowledge in using a hot tub at their household but not covered underneath a Lanai? Hoping to figure out if we have to devote $eight-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio place https://elliotirvbe.plpwiki.com/6690854/tarpaulin_secrets