WOW, that is just creepy......
Those are the same IGBT's that I sold to paul and he is using. Microchip makes the dsPic chip. They are also using the same dsPIC30F series chip.
Only real difference is the gate drives. Those boards they are using are made by Powerex specific to drive the IGBT's. They are really nice with full protection and single supply input, but that all comes at a price. In quantities of 2 at digikey they are $98 each.
Digi-Key - BG2B-5015-ND (Manufacturer - BG2B-5015) They would ensure perfect driving of the modules though and larger ones too.
-Adam