My advice:
You are using a good oil, so do what makes you feel comfortable. If you want to change it early, do it, if you want to stretch it out to the OLM, do that instead. At the end of the day its whatever makes you feel better, in all honesty. I still try to tell my father that he doesn't need to change oil in his titan at 5000 miles anymore when using Pennz Platinum, but whatever makes him feel good, up to him. What I would do though is change the oil filter halfway if you do run it all the way out to 10K, haven't seen a non paper cartridge filter yet (maybe k&n) for the pentaster.