The OCI duration is going to negate any difference (if any even existed at all) between the two. I recommend extending the OCI to get some value out of your selection, but I suspect you're set on 5k miles. So be it. At that OCI, a good dino would do every bit as well. But they are not as prominent in the market place, yet.
I don't know what you'd pay for the OE Amsoil; there are some vendors here that can get you a good deal, but you'd still have to pay for shipping. It is, in reality, hard to beat the combination of T5 at W/M for the shelf price of $16 and ease of attainment. Or, if you are near a farm supply store, the Mystik semi 10w-30 is a nice option. JD has a nice dino lube; we've seen roadrunner1 turn in excellent UOAs on his PSD with 10w-30. If you're near a Deere dealer, you might consider that. But Deere isn't known for bargains, typically.
The product you choose is not going to have any ability to affect lifecycle or cleanliness in a 5k mile OCI; any HDEO can easily cover this and much more. So you might as well buy the cheaper of any option you choose. I relaize that we are encouraged (brainwashed?) to believe there is a difference, but the reality is there isn't, and the data proves that every single day. UOAs and PCs and such show that short-to-moderation OCIs hold no advantage for a syn whatsoever.