One thing I recently discovered, which gives me hope for the future of these systems, is that WattStopper makes a relay which appears to be a direct replacement for the GE RR9:

Wattstopper HDR relay

In fact, it looks even better than the GE relay, with higher contact ratings and a manual actuator.