Welcome to our forum.
If you want the overall best ownership experience possible then hot springs is going to give it to you. Make sure the dealer is reputable and experienced. Based on the two spas you are comparing i thing it is no brainier in my opinion.
About 12-13k includes what? There are so many factors that determine price. What steps, what lifter, delivery difficulty, financing options? A lot comes into play there would need specifics to confirm whether it was a high price. That price is still way below MSRP. Wonder if the Marquis is a 2015 or demo for that pricing.