Yes, the lee_chan eBay user still seems to upload them for sale on eBay ocassionally, even all these years later (I just bought one from him a few weeks ago). It looks like between November 2020 and January 2021 he sold 10 of them.
I can't post links as a new user, but here are the sales with...