Export images with 00 digits

Dear community
Usually Toon Boom Animate exports frames in this style: “Name_1, Name_2, Name_3” and just adds a digit when necessary “Name_10”, “Name_11”. Unfortunately our game engine has problems with an inconsisten number of digits. We need it like this: "Name_001, Name_002, …, Name_010, …, Name_100"
Can you do that in ToonBoom Animate or do we need an extra tool for that?

Animate Pro and Harmony Standalone both have the ability to define the leading zeros in the Write Module that’s used to write image sequences to file. However this ability isn’t in Animate.

~Lilly