I have been keeping an eye on it, and there is no evidence of a significant leak. The dealer told me that when I have this repaired, I should also have a tune-up, since some of the work required is duplicated. I think they wanted about $1,400 for the work, but I have been putting it off, as I don't really think I need it right now. I'm also debating taking it somewhere else to have the work done. Please give me your thoughts. Thanks.