I had similar mods on my previous car, and had 3.55 gears. I wish it would have had 4.10's in it.
If I were him, I would get the 4.10's. You said that this car will see a lot of strip action, and that he drives it daily. Get the 4.10's, and don't look back. You can run a taller tire if...