Overpriced? I don’t think it is overpriced. (Or the 3 laser machines that I have been personally a part of importing from China have been over priced).
From the listing on eBay, the machine looks to be an awesome deal. China direct, a machine like this (that is of solid commercial quality) will cost you about $4,000. Add to that tariff, shipping, hassle, etc and the cost would exceed the listing on eBay.
I guess it would all come down to whether or not the machine is actually honestly represented. It is almost too good to be true in my opinion. But hey, who knows. Hopefully the optics are decent, the mechanicals are sound, the steppers and drivers are good, the power supplies are of quality, and the W6 tube is authentic.
If so, this is a wonderful find. Interested in what you end up with.