My garage says that the gear on the camshaft stripped and needs replacing. How much should this camshaft repair + timing belt replacement cost?