Lab Gruppen FP3400: Mosfet sub needed

[dbxdx5]

I'm working on a Lab Gruppen FP3400 with shorted outputs in one channel. My list of collateral damage includes Q1, which the service manual lists as an IXFN73N30 N-Channel enhancement mode Mosfet, but the actual fet installed is the APT30M40JVR. Regardless, neither of these are readily available from my usual sources, so I'm looking for sub suggestions. IXFN102N30P perhaps? 🤔

 

[dbxdx5]

I put this aside for a while in the hopes that the APT30M40JVR would come back in stock. However, it's still listed as on back order. So could still use some verification help on a suitable sub.