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.