Hello fellow Villagers! does any individual have any practical experience in using a very hot tub at their home but not included underneath a Lanai? Seeking to determine if we need to invest $eight-10k (ouch) over a Lanai extension or merely install the hot tub on our BBQ patio spot https://izmirtente73692.wikiconverse.com/5445424/detailed_notes_on_tarpaulin