For a mk5 gti the pre cat sensor costs around £140 so unless he charges an exorbitant labour rate it sounds too expensive to me.