I had my 2009 R3 Touring in for 10K service today and they changed the spark plugs. The owners manual calls for an NGKDPR8EA-9 but they installed NGKDPR7EA-9 plugs claiming that is what their manuals call for. Both the service manual and owners manual call for the colder NGKDPR8EA-9. Will the...