What year and engine? 9 times out of 10 when the check engine light goes on a Honda, it's the o2 sensor. Stock cat. converters last at least 150k. I'd advise him to get at least another opinion..... as for that price, that's rediculous, anyway because I've seen stock cats for late model Preludes as cheap as 300.00 but no more than 600.00.