It runs fine on any other game including Arma 3 (haven't checked Arma 2 yet). But I have seen several other posts about lower-end graphics cards getting higher FPS than the higher end ones.

What do you recommend he should try doing?
I have already tried tweaking in-game settings