Don't get a dr. wellness or a costco spa unless you are prepared to deal with little to no support. I would personally look at spas from wellis. They have some nice stuff under $10k. You could also go with an entry level spa from a reputable manufacturer and still be in that price range. Bullfrog X series, Jacuzzi 200 series, Hot Spring entry level are nice. You'll get better quality and efficiency with better service and support.