With 3000 oci's and the oils you gave us to choose from, i'd go with Havoline. It's typicaly less expensive than the others, not to mention it seems to give very good used oil analysis. Another oil you might also consider is Exxon Superflo. Both Superflo and Havoline are quality oils at very decent prices.
Then again with 3000 OCI's you could probably use any stores house-brand, or just whatever happens to be on sale, and come out just fine.