Dusting off the brain cells on this one....
I've used AD712's without issue.
You are kid of limited in the types you can put in as the 8100 doesn't have the bandwidth compensation circuitry to run very high slew rate Op-Amps. Also, the power supply bypassing scheme is "generalized" - i.e. the power supply pins of every op-amp socket do not have HF bypass capacitors. This can also be a problem when using Op-Amps with very high slew rates. If the power supply bypass caps that are in there check out in good shape, you could more than likely get away with running fancier Op-Amps.
I tended to shy away from shot-gunning the Op-Amps in the distortion canceling cards (8/9) as this can introduce some response variations / or phase shift differences that could compromise distortion canceling performance. I felt this way because if I could HEAR a difference from swapping out the '72's for AD712, my logic reasons that the compensation networks int he black boxes would have to be changed as well to make it work right...
YMMV
-Cornelius