Yeah, they're likely running RT-11 or RSX-11. I wonder if the hardware is original and they simply have plenty of spares, or if boards are rebuilt with discret

Yeah, they're likely running RT-11 or RSX-11. I wonder if the hardware is original and they simply have plenty of spares, or if boards are rebuilt with discrete logic or FPGAs/CPLDs as they break down.