You will find that housing gives a clean look and reduces clutter around the relay.
QTY (5) FRL764D12/2AS-02 FUJITSU 12Vdc LOW PROFILE REED RELAYS DPST NOS
You will find the brand 935-2425-010-14 referenced in the manual, which helps when ordering replacements later.
What stands out about this product is the Features field says N/A, removing any guesswork about extras.