My father has just taken his e60 520d in for its first service (the warning indicator came up on around 17,500 miles). I was under the impression its first service is free as its still within its warranty? If I'm wrong, how much is he looking for a service?