Good point. I'd expect that the shop know enough to have done that when installing the battery. I'll check about that once they open tomorrow.Be aware that new batteries often need charging, also. Some new batteries sit on the shelf for a year. The new battery may have been at a low enough voltage to trigger the same event.
Whenever I get a new battery, the first thing I do is hook up a charger and top it off.