Just finished these two relatively simple replacements (total approx. 1 hour). Here are a couple of things I learned.

New lens was aftermarket. Came with clips and gasket. Original clips are better quality and are worth re-using. Old lens (which already had a couple of holes in it) broke in two while I pried off the clips. Lots of glass on the garage floor. After taking off the old lens, I thought it'd be a good idea to clean off the reflector. Turns out Windex will take the silvering right off. A dry cloth is your best bet.

Directions for the antenna mast replacement on Bay 13 are excellent. Only thing they don't mention is that there is a small metal sleeve around the base of the old antenna that keeps the mast from being pushed all the way out of the car. Slide it off the old one and onto the new one before installing.