This is what tekno lists from the manual:
Tools needed:
• Hex drivers 1.5mm (TKR1104), 2.0mm (TKR1105), 2.5mm (TKR1106)
• Nut drivers 5.0mm (TKR1107, 5.5mm (TKR1108), 7.0mm (TKR1109)
• Hobby knife
• Needle-nose pliers
• Shock tool (TKR1115) OR adjustable (Crescent) wrench (for shock assembly)
• 17mm Wheel Wrench (TKR1116)
• 4mm turnbuckle wrench (TKR1103) - 5.5/7.0 two sided wrench (TKR1119)
• 4mm arm reamer (or #19 drill bit)
So I am thinking thats all you need. They also don't make a 3mm hex driver from what I am seeing either, I would think they would if their vehicle needed it.