Hello fellow Villagers! does any person have any experience in utilizing a hot tub at their dwelling but not included under a Lanai? Hoping to determine if we must expend $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio space and see https://izmirtente59122.sunderwiki.com/1365871/detailed_notes_on_tarpaulin