Hmmmm... I quoted the FAQ. To be honest the figures that first popped
into my head were 12.5mm for the MkI and 14mm for the MkII.
If the FAQ is wrong it should be adjusted soonest...

The drive specifically asked about will however work, as it's only 12.5mm high

/Michael