I know I'm meant to have left, but still 3 days before the ED30 goes. Just to say I drive my ED30 VERY carefully and from having it and covering just over 9000 miles I've averaged 32.5 MPG so I ain't flogged it. Anyway.... back the point, mine came on with 500 miles to service about 100 miles ago so yes it's fine, they ,must be set to 10000 miles.
Anyway even I WON'T SERVICE IT the oil isn't the cleanest and If I was keeping it I'd change it at 10k if not before in future!!