I looked at this briefly. Either direction I go, I would probably opt for oe or 3rd party key as the cost differential for a ~new~ versus repaired key is not that much...