Hi, need to change the oring that goes on the top of the solenoid, what is the size? Thanks