I don't think I'd bother with getting them repaired. New ones for Gen1 engines are a dime a dozen these days. Buy some Dart heads and put them on there!