If it had a weak battery and had a failed start (as in battery so weak it tried to, but didn't start), then code could simply be that-failed start. When the battery gets that low, it may try to crank but the voltage dip will go below threshold and the ECU will not let it continue, and often times pops a code/CEL come on. It will clear itself after 3-4 successful starts if that was the issue. Have them do a few starts/key cycles after replacing the battery and see if it goes away on it's own.
Actually, swapping the battery will reset the light. If they haven't already changed batteries, have them charge that one enough to get it fire over, let it run a little, and if the light's still on, do a few more start/key off cycles to see if it clears prior to disconnecting the battery that's in there.