Well it's already socketed and has a custom chip. So he'll probably want about 300-325 for it which seems reasonable since a socket costs $50 and a custom chip can run from $50-$150.