A nice touch is the NTE branding, which matches many existing parts in your setup.
NTE Electronics R10-14D10-12B RELAY-12VDC 10AMP 3PDT GEN.PURPOSE TEST BUTTON
A nice touch is that NTE is the brand on this relay, making replacements easier.