it doesn't matter at all you can use whatever cutter you want i was using the 2.5 mm cutter for everything for years and all the keys work just fine I switched over to the 2mm cutter though and the keys are a little smoother entering and leaving the lock now
I cut every single key with a 2 mm cutter now
Bookmarks