The mechanic should measure the alternator charging voltage, which should be between 13.7 and 14.3 volts with the engine ...