Found this today:
http://www.cruisersforum.com/forums/showthread.php?p=2989288#post2989288
SUCCESS!!!!!! ISSUE SOLVED!!! I have a similar microwave problem with my Catalina 320. Just found a microwave from Walmart online, Proctor Silex PS-P70T20AL-V1B that is same size or smaller than the burnt out Samsung. 9.5 x 17.5 x 12. $33. Solves the 9.5 inch height issue. I have looked for a couple of years, hundreds of microwaves. I was about to take a saw to the cabinet and just happened to stumble across this.
Pictures in the link.