I don't use OpenSCAD either but it was very easy to change the numbers to match my key. Download the file, open it in OpenSCAD and on the last line there is a group of numbers -- kw1([1,3,3,2,3]);. Change them to match your key and export the stl file. It's that easy. The hardest part will be determining which direction to read the pins. Just compare the exported file to the original key before printing and that problem is solved too.