You definitely made the right choice! I just don't think it's worth the hassle of repairing and troubleshooting the lineage power supply anymore, as it is really not a good design.
Suitable candidates I've come across so far:
Meanwell RPSG-160-12
Meanwell RPS-300-12
Meanwell RPS-400-12
Meanwell EPP-300-12
Murata PQC250-12
Bel Power ABC201-1012G
...
The original replacement unit I purchased, the Meanwell RPS-160-12, did not include the remote power-on option. I goofed and purchased the wrong version. The unit I meant to purchase was the Meanwell RPSG-160-12. What a difference one letter can make!
The replacement power supply needs to have a remote sense and remote power-on feature as the power switch on the oscilloscope switches the secondary side of the power supply and not the primary side. Without the remote-on feature, the oscilloscope power button does nothing. Plugging the oscilloscope in would be the on/off button, which is not ideal.
All these units seem pretty decent. I'm liking the fact that the Murata unit is higher efficiency and most importantly does not have a perpendicular daughter board, like the meanwells. This should make the murata unit easier to repair, but then again, none of these units should need any attention for a long time.
It doesn't look like the murata has fine adjustment on Vout, so from the datasheet it can't be set to 13v which is the output voltage of the lineage PSU. The meanwells have Vout fine adjustment. The bel power has minimal adjustment. This may not be a deal breaker as these are all 12v class power supplies and the original lineage PSU only had a +-5% voltage adjustment range and poor voltage regulation.
Glad to hear you got the msox2024a back up and running!