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...