key slot repair tool (2008-2013) for Mini Cooper vehicles

So I unintentionally created a tool to repair the key slot on my 2012 MINI Countryman.

Several years ago a friend borrowing my car didn't know you need to push in first to remove the key from the slot, so instead he just pulled hard (thanks). After that, the key would get jammed anytime it was inserted, and would take considerable shaking and pulling to get it out. Since the car has the comfort access where the key slot is unnecessary (and because I'm cheap), I never bothered to have it fixe