Hi Donald,
Sorry to keep you waiting.
I suggest that you perform a voltage drop test on the starter main cables. The starter voltage drop should be less than .5V drop total on cranking circuit. This is an important step and is often the cause of a slow cranking complaint. Yet, voltage drop also is a leading cause of click or no-click complaints because almost every vehicle manufacturer uses the heavy positive post, located on the starter solenoid, as a place to pick up the current used to supply the control circuit.
Since the vehicle is in the shop already, you can ask the mechanic to test te starter. If the start failed to the voltage drop test, then its time to replace the starter.
Let me know if you have further questions.