720RPM 3.5" FDDs?

[Christian Corti]

While looking at datasheets of 3.5" floppy drive motor control ICs, the 
LB1813 apparently supports four different speeds "out of the box". Pins 15 
and 16 are used to select 300, 360, 600 or 720 RPM. So, I know 3.5" drives 
with one of the first three speeds, but has anyone ever seen a 720 RPM 
drive?
A drive with that IC would be the very common Mitsumi D359.

Christian