One of those will do fine as well, as far as I'm aware the type in the picture I originally posted was the later "type 2" mouse that came with the 600.
Basically I'm after any original Amiga mouse, even a tank-type beast would suffice as long as the button switches are working well and it's not drastically yellowed.