I’ve always subscribed the notion that you want the lowest rpm that will maintain your speed with whatever load in whatever environment you plan on driving. For me the only time I even get to OD is on the freeway to the beach or mountains, and since I like 60/65 mph max (no tickets for this guy been there done that) my Jeep can maintain its speed of 65 mph with 5.38 gears, 42rle .69 OD, and 35” tires while in the final gear. Going up the mountain pass? Sure drop one or two to get speed, but my Jeep was never able to maintain 65 mph with 4.10 gears...I sat at 1100 rpm and lugged the shit out of it just to keep speed! You have the manual and out OD is obviously different, just giving you my train of thought. Why not consider 4.88 when you go to 35s?