Welcome to our forum.
Another good brand that's not terribly well-known is Hydropool, http://www.hydropoolhottubs.com/. Their Serenity 6000 is a nice hot tub, about the size you're looking for and is in your price range. You might also look at their 600 series self-cleaning units. They're a bit more money but should be in your price range.Disclaimer: I'm not a dealer nor do I own one but I do have one on order and can't wait till it's here.