Thanks for checking with the Mini dealer to find that the problem was covered under warranty. I know that it's the "legal" thing to do, but trust me, many shops would not have checked and would have completed the service and charged a bundle. Thanks again, we really appreciate it. - Michael and Christy W.