The Source engine isn't the only middleware needed to develop Valve's games. I'm pretty sure HL2, and Portal both use the Havok physics engine. I'd assume L4D does as well. I can only find one article from 2006 announcing that Blizzard had licensed it for Mac but no others. Can anyone name any other games for Mac that use Havok? Mac gaming still has a long ways to go.