When me and my best mate were 18 we had two similar 1.5 civics that we used to abuse. His was driven flat out for thousands of miles with an increasingly noisy box and when we replaced it with a box from another 1.5 I had crashed, the original box from his car was bone dry!!

So either the last few miles on it coincided with that happening, or it had been dry for ages which I think is the more likely option!