A mechanic's tips for repairing car tires