OK
I don’t know what happened (well I do too), but my crimp measurement was definitely not 0.380.
Instead of chasing that rabbit, I think I’ll just post pictures of the readings on my micrometer and dial indicator.
Unless I’ve gone totally stupid, they show 0.377, which I thought was too small...