mike can make you an adapter so any 5mm pinion will fit the 4mm shaft. I have one he made. It works great. Used it to figure out the gearing I want with my 5mm pinions. Then ordered the correct 4mm pinion. But you could just use the adapter permanently if you wanted to.
I can't decide if its more fun
to make it...
or break it...