My dad had an immobilizer built into his car (a 1994 BMW 320 bought in Europe) which used this kind of key. I've almost forgotten about this detail until I stumbled upon this post. I don't know if it was stock, though.