It could be, Bob. I just did a quick measurement, so I could have screwed up.

Is there any website where I can cross that part number on the case?

Don