Thanks for the replies. I spoke to the main dealer concerned but didn't really get anywhere. They just said that as a matter of course, they'd tell the owner between services 7 and 9 that it needs doing. This car is a lot thirstier than I was led to believe though.