Since nobody seems to know what you are talking about, and since that's (potentially) a $XX,XXX domain, can you tell us where you heard or saw this claim?
WHOIS history shows the domain being held by the same owner, Warren Royal, since 2002. Since NamePros wasn't even open until February 2003, this story seems unlikely. Perhaps it was another name.