7414 raises an interesting question, I have used 7415, Seal specifications show difference is heights…7414 is 0.188″ tall while 7415 is only 0,156″ It would be helpful to know height of the seal you removed,,,if it was factory original.
This is one of those nit picking issues that do not matter…until they do.