Thanks Craig. The thickness doesn’t really seem to be that much different from the ones I have, IIRC, although the diameter on mine is about equal to the length of the oval washers. I’ll know better next time I can get under there and pull one for comparison.
9/19" ?? Really? 