Well, I have the following on hand, ready to test:
Originals on the board are NE5532 (and possibly "fake", due to origin of the board)
I was advised that the LM6172 is not suitable, so that's off the table now. I may try it anyway, since I already have them on hand.
: care to chime in on the output op amps for the DAC?