He's running it via Bootcamp.

I told him about the other thing to do. Apparently it's only when he's running Win7