I would charge the battery on a charger just in case. Sometimes they will get low and the alternator won't bring them back up to where they need to be.

just a though.