I came across this I think when working on my car, but stayed quiet as I was not sure... Try measuring just the seat height, not the full thickness. So try to measure the height in the place where the coil wire ends vs. the base. That is, I think, what I figured in the past.