2003 Lexus IS 300 Timing

My sons Timing Belt Broke, is it worth fixing, the car has 95k miles on it and the cost is around $3,800 depending on the condition of the head and how much work needs to be done on it, so the cost is not exact could be higher. KBB values the car at about 9,400 so do I try and sell it for 5,500 or fix it. What would you do? Advise please