The Clipsal brand sits on top, and you will find that it does not interfere with the wiring space at all.
GE SR750 Feeder Management Relay, FOR PARTS/ REPAIR
You will find that the TYCO name gives this relay a familiar feel, which many users appreciate.
The model 301-1C-C-R1 U01 12VDC helped me avoid mismatched parts during repair.
If you want straightforward options, the Allen-Bradley 700-N4 keeps things simple and reliable day after day.