The domain may not be even as old as he says, anyone checked domain records?
Yeah, I would have not done a deal at that price, especially if the domain made as much as he claimed,. $900 is very cheap.
If you could wait a year to get your money back the domain should have be worth somewhere around $25,000 at least.