4.56 is ideal for 35's for city driving and four-wheeling, unless you do a lot of highway cruising. I turn 2000 rpm at around 70 mph with mine. For lots of highway miles, go 4.10 or stick with 3.92 (you'll turn 2000 rpm at 90 mph with the latter, but it'll suck around town). This is only for the five-speed tranny (545RFE). You won't be able to find 4.88 gears for the 9.25 axle anyway.