This is what I was trying to determine based on info in the official FAQ ("no thicker than 9.5mm") and some of the conflicting reports suggesting that 12.5mm drives will fit. I guess it depends on...