I blieve you're referring to Mozman's build-up with F&R Dana 60's. And I think he went with 4:56's, but could be wrong...
I'm surprised you have trouble pushing 35's with your gearing, I've got the same set-up and it pushes me around just fine. But, every rig seems to be different... Mileage actually went up a bit for me when I went from 33's to 35's, and around 70 I'm at about 2900 RPM's, a bit lower than I was running with 33's. I usually run 75+ when I'm on a trip though, so I'm right round the peak in the torque curve then.
If you don't take a lot of long trips, then 5:13's would probably be ideal for you. RPM's IMO might be a bit high on the highway, but the 4 bangers seem to handle higher rpm's just fine...