Yeah, given the difficulty and hassle and time in changing this, I may just go with the best fully synthetic Royal Purple or Redline with the friction modifier already in there, even if not needed, and plan for another 100k miles on it.
Then again, I'm doing ~1000 miles annually on this local...