700 to 800 miles. More than needed for a repair shop to see if the car is working properly after service. Much more.
Any self-respecting mechanic would have raised the front end off the floor, put it in reverse and backed the mileage off the odometer.