How is BMW of Dallas when it comes to service? I want to voluntarily get a 7500 mile oil change and they quoted me around $120. I'm sure an oil change isn't too bad but do you have experiences on how long it will take?