Cool story/find for sure.
I dunno about $9500USD for a NIB Tron Pro though. To make it worthwhile you're looking at another $1500 or more for mods alone, and some of them are long out of production themselves, so good luck with that.
But yeah, of course they'll sell anyway.