My cars having a new diff in a couple of days, I'm pretty sure that means that I have to follow the running in procedure again but am I right in thinking that the diff needs the oil changing after 1200 miles? If so is that paid for by the dealer/BMW like the original running in service?