Pushrod length

I got a set of comp 7822-16 pushrods from summit today. I got all my adjustment back. My old pushrods must be really worn. The worst one, the cup was .025 deeper than the new ones. I wish I had a large set of calipers, so I could measure them.