I would use a 10W or 15W-40 dino oil for summer ARX treatment(s) and use a 5W-30 or 10W-30 dino or PP during cold weather ARX treatments on this engine. The ARX oil change intervals are certainly short enough to safely do so. After you are done with the ARX treatments, I will chime in and second the opinion of using a 5W-40 HDEO synthetic for year-round use. 10k miles should not be a problem for any of these oils. I would not extend it much further without oil analysis. The RTS and Mobil 1 TDT are usually available at most WM's. Several other excellent choices would be Schaeffers 9000 5W-40, one of the Amsoil 5W-40's, or Redline 5W-40. Also to consider would be a synthetic 10W-40 such as Mobil 1 High Mileage full synthetic, or Amsoil or Redline in the same viscosity.