I think one of my IG accounts follows the guy who made em.
Regardless, $4,000 is a complete joke. Maybe $500-600, and even that's a stretch.
edit: if those damned things sell for anywhere near that price, then I'm gonna be ordering a LOT of Super Gameboys from Japan. A LOT.