I know on my honda you had to turn it off even if you do the maintenance, they probably just didn't do it. Browse through the owners manual if not just get them to turn it off for you, I know on my old civic it had something to do with holding down the trip button when you first start the car... I'm sure you're fine it's just a standard thing every 5k miles usually.