Hi Fellow Villagers! does any person have any knowledge in using a scorching tub at their household but not included under a Lanai? Attempting to figure out if we need to shell out $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://izmir-awning38157.wikinstructions.com/1371476/pergola_options