I just tried, for the first time, the new 5w30 Havoline DS.
After 700 miles, so far so very good in my girls 95 Avalon.
No consumption, smooth idle, easy to get, and pours with a greenish tint... pseudo GC anyone

-)?
My only issue is the $$$... you can get a few nice oils in that price range for a 5k drain.
The Supertech synthetic is very close in price, and a good deal as well, but I just read an oil analysis that's making me think otherwise for the interval you suggest.
My local Sprawl Mart has the HDS listed at $10 but rings up at nearly $12... on a tangent, I saw High Milage HDS on the shelf as well.
I hear many raving about the MC oils & for the $ seems like my next choice when the Avalon is due up.