Triple SLI can't even run Crysis properly.

[cAPSLOCK]

I imagine they're also running Crysis vanilla. There's a lot of tweaks that make it a hell of a lot smoother. There's always a lot more going on with PC performance besides just the game.

Here's 1 tweak (probably the single biggest one)
http://www.youtube.com/watch?v=VaHS-y_mapQ

I've had to do a ton of fiddling with Crysis, but it runs very well at reasonably high settings on my computer.