I'm not going to tell you what brand welder I bought and had issues with. I will only say that it didn't get taken care of until Oleg got involved. You can probably figure it out from that and I'm not trying to disparage any particular brand, I've only shared my experience. A 2 hour round trip to town sure beats a 9 month wait, I'm just saying...
If you're worried about the AC225 not having enough power (I think you'll find it does), there are a lot of used Idealarc welders of various sizes available for around your budget. I see 3 withing 250 miles of Memphis (not sure exactly where you are) priced from $1100 - $1300 -
Lincoln Idealarc - Memphis Classifieds - Claz.org.
An inexpensive Chinese welder might be fine for hobby use and you'll probably get a good one and might never need to have it worked on, in which case you'll be just fine. My experience though, wasn't good and my support experience from one of the brands that is known for having good support was pretty lackluster.