don't worry about that one dealership. take it to a different one and have them diagnose it. just because it didnt duplicate for that one tech doesnt mean the problem is not there.
you have starmark which will be honored at any dealership.
keep us updated.
good luck.

__________________
Whether you think you can or cannot, Either way you're right!. by Henry Ford.