I wondered if they might have adjusted it incorrectly. Their story was that it was defective.
I got a service manual 17 years ago. I offered it to them for reference (brought it along). They seemed uninterested. I would not be surprised if they put it in wrong.