Interesting - I also came to this page searching for that information!
But fortunately, I think I found the answer... 9.5mm!! =D
Go to Hitachi's page on the 7K500 series:
http://tinyurl.com/lyunmq
and click "Download Datasheet". If you read it carefully, you'll see they're all 9.5mm...