Jaka cewka jest oryginalna, tzn jakiej firmy do 4,4 E65 ? W jednym sklepie katalog bosch podaje jako inny system ?!