The one that Gil Kalai mentions is the best one.
Here are is a couple of other applications, although they are not really applications of Dvoretsky's theorem per se.
Algebraic topology: Milman (or Gromov? or Makeev?) realized that Dvoresky Dvoretsky's theorem follows from the (now known to be false) Knaster conjecture in algebraic topology, in fact the conjecture implies huge improvement on the bound on the dimension of the almost spherical sections of Dvoretsky's theorem. (The depenance dependance on d is tight but the dependance on epsilon is pretty bad). What ended up happening is that a counterexmple counterexample to Knaster's conjecture comes from convex geometry. This is a result of Kashin and Szarek. But there are weak versions of the Knaster conjecture that could be true. There are some recent related results by Karasev and Dolnikov and no so recent by Burago (the known to be false, so-called topological Dvoresky Dvoretsky's theorem).
There are a couple of Nonlinear versions of Dvoretsky's theorem, one by Bourgain, Figiel and Milman, and a recent one conjectured by Tao and proved by Naor and Mendel.
Computer Science: The finite nonlinear Dvortesky Dvoretsky's theorem says that any finite space contains large subspaces that embedd embed in $l_2$ with low distortion (when the distortion is a more than 2 or 3 one can actually find polynomial sized subspaces, while if one insists on $1+\epsilon$ distortion then the size is logarithmic). In "Rasmey Ramsey partitions and proximity data structures" structures", Naor and Mendel found some applications the partition trees of Calinescu, Karloff and Rabani tailored for this theorem to "proximity data structures" of Thorup and Zwick (CS).
Metric Geometry: The Compact Dvoretsky compact Dvoretsky's theorem claims that any compact space contains subspaces of large Hausdroff Hausdorff dimension that embedd embed with constant distortion in an ultrametric. (Actually all the nonlinear versions factor the map into Hilbert space through an ultrametric which embedds embeds isometrically in hilbert Hilbert space, this idea is from Linial, Bartal, Naor and Mendel - I believe). With this result, Naor observed that for any compact space of Hausdroff Hausdorff dimension more than n there is a surjective lipschitz Lipschitz map to the n-dimensional unit ball of Euclidean space. (Why?, this Why? This was easy to see).
I have often wondered about a Dvoretsky type theorem for Riemannian manifolds. Ten points for a good conjecture.