I did get the other Hafler MOSFETs, so now I have some ones to pick and choose. Luckily, there are all matched (4) on both channels, so swapping out the whole channel could be done twice if needed.
I noticed that Hafler wrote on these and on (later?) amps the numbers were added by a rubber stamp.
I have been busy with my dissertation, but the weekend is coming!!!