I grabbed a JDMSPEED relay for a spare and it matched the original dimensions exactly.
New Original Allen-Bradley 700-HA33A24 3PDT 10A 24VAC Plug-in Relay
The S90R5ABD1-120 keeps wiring simple since the terminals are labeled in a familiar way.
A nice touch is the INDUSTRIAL MRO brand, and the terminals feel clean and well aligned.
You will notice that buying a Hella brand relay feels straightforward and reassuring for many reasons.
You will find that a Jsdan relay fits neatly into many control panels without fuss and feels solid overall.
Using the 48V model under typical loads feels reliable, and the relay still leaves room for future tweaks.