Hi, I have an angel IR3, how long should you charge the marker for with a angel car charger? many thanks in advance