I think you'll find both will work. They are just different makers. Ones a Stens and the other Jak Max.
May as well save a couple of bucks and get the slightly cheaper Stens brand unless Jak Max its made in Germany lol.

Ahh, if only victa had kept producing the thumblatch catcher series, they would be in better shape today!