Hi Ian,
This is the part of the process we follow while setting up the Redundant server's. Yes Sentinel RMS Server's may go down in any order in future. But to setup the Redundant server this is the process to follow.
All the information of How to Setup Redundant server is documented in Sentinel RMS System Administrator's Guide - Chapter "Redundant License Manager".
Regards,
Ashish Kumar