Yep. Trip pin length & radius variations are quite normal, even when new. They all need to be checked, whether a brand new car already comes equipped with them, or you install them yourself. That's just the way it is.
Some folks, who don't do magnetic uncoupling, will simply cut the trip...