I ended up snagging them from the dealer, but I was curious about Hebmuller - I know they're German, but none of my sources actually listed them as the OE. . .