Repairing an HP 5370A Time Interval Counter