Thank you one and all. We did not have the permits for the tub which require electrical certification in addition to the fees for the permit and the certification. So this is how it set up. We were undecided if we should move or sell or store the tub. Moving runs about $500 and storage about $50 a month and then we would have to pay to have it moved back here from storage. Again, finding a buyer maybe $3500 or so or move with us. Once we put the House on the market we don't know how long it will take to sell, so that means depriving us of the use of the tub and paying moving and storage. So we decided to bite the bullet and have it legalized by permits/certification. Still less than the cost to move it and we can enjoy it until we leave.
Once the house is on the market, it will be sold with the hot tub excluded unless they insist and make us a great offer. Pools and hot tubs are the wrong things to hang your hat on when you want to sell a house - you are so right.
I feel much better knowing that it will move well.