Würde bei solchen Summen nicht groß darüber nachdenken. Ich würde das Öl der Werkstatt nehmen, auch wenn Du wahrscheinlich genau das gleiche Öl wie die Werkstatt nimmst.
Hätte kein Interesse daran, dass es zu Diskussionen kommt bezüglich des mitgebrachten Öles.