Thanks for confirming their "drive it a while" instructions.

Good point about chains like Firestone. I'm sure that auto shop quality is highly dependent upon the individual staff at that particular shop. The one I used has been extremely competent in the past, never failing to get the work done correctly and quickly. This is the first time I've had even the slightest cause to doubt them.