Well I measured the stroke on my filter pen and it's 3.5mm.
But it's a slower, punchier stroke than my other 3.5 rotaries.
Pretty weird. Must be the motor I guess. Doesn't heat up or sound like it's bogged down and runs super smooth.
I'm thinking I'll give one of there Cheyenne style pens a crack.