Lou, thank you for your most-helpful response to this thread. I am a time traveler writing you from the distant future,
the year 2020!
You would not believe the shit unfolding around the world as we enter into the second decade since your post. I don't want to screw up the space time continuum here, but on the off chance it's still early 2008 when you get this: Short the housing market, and don't bother updating your MySpace! Also, global warming is real, but we're still trying to solve it by re-branding consumerism as sustainability.
But I digress. Here's the 2020 update to this repair (i.e. with photos).
1. The commonly available part number today is EA2-12NU
2. Here is the stupid part you have to open up to get to the relay:
3. You have to remove the whole stupid white plastic thing, just to get to the screws holding it to the stupid broken part:
4. I had to break open the housing to get at the circuit board. This was not bending a spring tab or slicing through an adhesive. This was prying it until it broke forever, plus swearing.
Edit: apparently I missed a step in Lou's instructions--you can unplug the circuit housing from the solenoid housing. That way you wouldn't need to break it open like me!
5. Maybe my soldering style is different, but I do not recommend cutting the relay's wire leads with a razor blade. It was a nightmare removing each pin and opening up each thru hole, whereas I could have plucked the whole assembly off the board with a heat gun and a solder iron. But your mileage may vary. Either way, you have to swap the relay without screwing up the PCB.