I have owned two Miller Thunderbolt AC/DC machines, and used to recommend them. Especially the older ones which had detachable leads, for cleaner storage. However, those machines do have drawbacks. Their transformers are wound with aluminum, not copper. Also, they have a 20% duty cycle. It's very hard to weld two minutes and then wait eight. The overwhelming temptation is to just go ahead and weld more with it. Which rapidly leads to overheating which can damage the transformers. They still weld, kind of, but not nearly as well. So you really have to be careful buying used.
Nowadays I recommend older Lincoln IdealArc 250 machines. These look a bit like the el cheapo tombstones they sell at the box stores but are much larger. For some reason, they sell very cheaply. I bought mine for $150, for example. And they have copper wound transformers and, with 1/8" rod, you can weld at 100% duty cycle all day long.
metalmagpie