Hello wack,
it depends on if he thinks he can get a replacement camera for that price,
as i said mine came back fully serviced, tested and repaired, so its like having a new 20d back, and they put a 6 month warranty on it.
if he decides not to bother, and ands up buying a S/H replacement he could be in the same situation, unless he buys a S/H model from a shop with a warranty, but will he find one for the cost of the repair.
cheers paul