if he can get his repaired for under $300 thats the way to go.

expect to pay close to $350 for a real gt40 upper in good condition, $500-600 if its got a lower

worst case run an internal egr explorer cast upper.