I think that I used the original seal, with a little oil/grease on it.

Wait to hear from others.