I wouldn't have bothered with the MMO.
I can't see where this is a problem, but I wouldn't go out to 10k on it either--for a single OCI I can't see it being a problem, but my OCD would prevent me from doing that. I'd run the 5W20 until I felt like changing it. Which might be 5k if I was doing 5k OCI's in general, or 2.5k if I was doing 10k OCI's (thinking being, run 5W20 for 2,500, then 0W20 for 7,500, then back onto 10k OCI's where the odometer dictates when the oil is changed--as I said, OCD...).