Tony, of course, is authoritatively correct. In addition, just for peace of mind, you may wish to get the shop to check the battery health at your next oil change or tune-up. Certainly doesn't sound like anything to worry about immediately. Almost every vehicle I've used mine in will display the battery icon at startup for a few seconds.