Yep both my ek4's are (were) chipped. I had an EG6 which had a slightly smaller key (not chipped). The ek4 key is still the black plastic unit but just a little bulkier around the plastic section. It's not obvious that there is a chip inside the casing, so just looking at it won't necessarily tell you whether it's a chipped key or not.

I bought a new chipped key from my local locksmith. It cost $90 from memory. They just cloned the original key.