@alice your post remind me the time my dad broke the car's key amd made a new one from a slightly larger one, a permanent marker and a metal file. Apply generous amount of marker, try to use the key, file away where the marker have been scratched/removed. Took maybe an hour but then working car key