I read through that when it was originally posted but no one mentioned the size of the O-ring needed. I posted that question but if you did the job, then I assume you may know. It can't hurt to toss a new O-ring in there before my trip.

Thanks.