Thank you for helpful thoughts.
I'm paranoid because it is an older car and especially it DIDN'T RUN THIS HOT BEFORE THE DEALER SERVICED IT!!!