Well, he should be able to get a A3630 or A3640 for around 20-25 EURO. A WarpEngine would most likely cost 3-5 times as much.
-EDIT-
If you haven't gotten hold of a CPU card in a couple of weeks, send me a PM. Have a A3630 I use for testing, but don't use it much these days. Have a spare daughterboard or two as well.