It’s tough to find them on eBay; I wonder what the right search terms are?

I think they're super uncommon in the west.

I think they're also super useless, to be honest. Incredibly slow. Linux support continued to degrade the entire time I owned mine. The keyboard and display are far too small to be usable. The graphics chip accelerates basically nothing.

I sold mine [1] on eBay back in October. I hope the new owner enjoys it more than I did :)

[1] https://mattst88.com/computers/yeeloong/