There are so many sellers in the US now, it has been hard keeping track.
When I first got interested 5y ago, there were 2 listings on eBay for the 1-ton minis by US sellers who had not imported them yet. They hoped to make a sale and then have the unit shipped directly to the buyer from China to the US. That model did not work, and neither of those folks who listed made a sale that way.
Now, you can find multiple US-based eBay sellers who already imported the machines and want to sell and ship to US buyers. There are the 1T units for $7500, shipped, and even a smaller one for $5200. If sold, it is hard to imagine that the seller does not take a loss, even if they imported full containers.
Unfortunately, there is little technical info on what is currently for sale in the US. The B&S gas engines are most common, but little is said about hyd oil filtration or cooling, for example.
Don't buy one if you are not handy!