Well, I measured it with a micrometer so that is the actual size. The question becomes did it wear out or get crushed in the crash. I just measured it again spinning it to measure from different points and it always comes out to .152.
Pretty sure that's what it has to be. It's not a metric part either because it fits a 4-40 nut and the thread in the body is 4-40 too. I had some parts from my RC planes that were metric and they are too big.