Nerdiest of nerd question: I ordered a new one-wire carburetor idle solenoid for my 1977 FJ, but it floated around the parts bin for a while before I could get around to installing it. In the process, the little o-ring on the end disappeared. So yeah, impossible question - would anyone happen to know the OD of that little viton ring? Or would anyone happen to have one handy they could measure? I can see that the inner diameter is 4.75mm (so it's probably a 4.5mm ID o-ring), but want to be sure I get the right OD too. Any thoughts would be greatly appreciated!