3389 (stock Dell Drivers and clock).
From looking at the Futuremark forums, the high right now is 9024 with an SLI 7800 GTX 512s (overclocked). The average numbers for SLI'd GTs and GTXs are in the 7000s.
Crazy stuff. Time for Dell to drop the anvil on mobile laptops.