Fixing A Matsusada RK20-20 power supply.
2x devices blown on the primary switcher circuit
only id is code 00.15.0600 TO3PN3 case

https://www.flickr.com/photos/40466580@N07/

I'm thinking these are IGBT's rather than Mosfets but guesswork as they
are wrecked.
Any ideas? Code might indicate 15Amp 600Volt? feeling lucky?

Small driver board is encapsulated in RTV silicon goop, hopefully not
damaged but haven't got that far.

TIA JC