Welcome to the site.
His biggest mod would be to his right foot (aka driving technique). It'll net you more mpg and cost less than any modification. The best article is actually
here on driving technique.
I hate to sound like a broken record (I've mentioned this to others recently), but you do know by leaning out your fuel mixture you are going to increase NOx emissions which cause some pretty ugly damage to the environment, right?