Stetsom IRFP812D power supply mosfets

Stetsom is using IRFP812D mosfets in the power supply of this EX5000. Of course nothing is showing up in my google searches.

Does any know of a good substitute that I can get from Mouser or Digikey? Looks like they are using 27524 IC gate drivers.

Thanks,
David