And the more I ponder them, the more I come to the conclusion that they should be as they are right now. Even if they are a little too long.
When I think of an updated version which might result after an overhaul of the whole Marine line (assuming the new 5887 shows the "new" lugs), and given the chance to choose between the old and the new style, I am not sure how I would decide.
But maybe this is just because man is a creature of habit ...