The genuine gasket is Case part no. J283333 or Cummins 3283333. Is this one superior to the one they installed 12 - 15 years ago? Are there better options available? If so, which one has the best seals around the coolant passages? As a side note, we will move to a 2-EHA-free OAT coolant with the new gasket.