Looking for a beginner laser engraving machine to engrave on pencils

Hi everyone!

I’m posting here because my dad (he’s 75yo) makes wooden pencils, and he would like to laser engrave his creations. He’s looking for a small laser engraving machine, not too expensive, that can engrave on a rounded surface (with a rotary roller, if I understood correctly what he explained to me). What would be your recommendations? He is currently checking two models, the Longer Ray5 mini 5.5w and the Mecpow M1 5w. Any thoughts on those, or recommendations?

Thanks in advance, and congrats for all the beautiful creations I saw on this Subreddit!