Kinda a weird list; in my experience with hanging around lots of shops, it goes Mitutoyo 500-196-30 (non-IP67), Mitutoyo 500-752-20 (IP67), followed by a long tail of everything else.
Mitutoyo are the best.
When you’ve visited professional shops they use Mitutoyo tools.
When you’ve visited hobbyist shops they are always using substandard (non Mitutoyo) tools.
Did I parse you correctly?