Mini Chainsaw chains

I see replacement chains are around $13.00 for two.
For my gas chainsaws I sharpen the chains myself and will try sharpen the chain on the mini chainsaw from the raffle when it needs it.
I’d be happy to do a demo later in the summer when I have tried a sharpen of the mini.
Looks like it uses a 3mm round file