Danke für den Hinweis, werde auf ebay gucken.

Ich habe immer dieses Öl gekauft:

http://www.reifendirekt.at/cgi-bin/oshop.pl?item_id=147&&dsco=102&cart_id=73669266.102.24972&oil_category=1&oil_brand=High Performer&oil_product_series=&oil_viscosity=10W-40&oil_release=