I think unless you're tracking it regularly then that's miles overkill. Even 4500 would be a bit excessive in my eyes.
That oil is superb stuff, very difficult to buy anything much better, so it doesn't need changing as often. If you were running Generic Cheap-O Oil then sure, change it often, but without tracking it I'd stick to the usual 9K service regime myself.