So I was planning to take my "still new to me" 2012 Mini in for an oil change and was looking through the manual for info and came across a statement "Oil Changes are only to be done at a Mini Dealer" ?????? Is that a real thing? Is there a reason for this? Is there problem getting the oil changes at a non-dealer shop? Thanks!