As a followup, called another dealer. They found the service notice, orderded the parts and called the next morning to tell me the parts were in. Dropped it off the following morning at 8 am and they delivered it to me, fixed, by 10:30 am
The notice had been posted since 2/10, so the first dealer never looked it up, nor made any real effort it would appear.