Looks like you have the right ones.
The best place to check first is RealOEM.com.
See here.
Then go to ECS tuning if you want to see a picture. See here:
Front.
Rear.
Once you have the part number confirmed, buy from
getBMWparts.com (a.k.a. Tischer). They have the best prices, lowest shipping charges, and fastest delivery, IMHO.
Oh, and I don't think having it smogged had anything to do with the failure. Just a coinky-dink.
Coulda been worse, coulda failed just
before smog.
Just entered the voting with "never had a problem". 81k miles. This is going to be a
major jinx.