Has anyone purchased a Hot springs Tx or Sx model spa? What is your experience, any problems with it, repair or design issues etc. I live in Denver and the mtns. I am overwhelmed with what to buy and not have a lemon. Price range I want is $4500 or so. 2-4 people spa. Any suggestions would help alot. Thanks!