My girlfriend has just bought a Mini Cooper with 46k on the clock. The dash-computer says the next service is needed in 3500 miles. The question is, if it's serviced by a private garage (not MINI/BMW), will they be able to 'update' the service warning on the dash?