according to hobbyking it says it 8mm. You could try and find someone who is willing to turn it down to 5mm but I would make a custom gearbox similar to what you find in a speed 900 gear system (hardwired II)

Photo from hardwired II (Matt Smith)
BhVLZIQIQAAwfw2.jpg