Hello Fellow Villagers! does any individual have any practical experience in using a hot tub at their dwelling but not covered underneath a Lanai? Seeking to determine if we need to spend $eight-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio area https://izmirtente73029.illawiki.com/1398083/pergola_options