I have just gotten my G-Rex 4000D back from repair in France, but no PCI cards are found in the CyberStorm PCI menu (tested with 5 cards, 2 x Voodoo, 1 x ethernet, 1 x TV card, 1 x sound card), so it's most likely still broken.
In the expansion board diagnostic list I have 4 entries, 1 x product 100, and 3 x product 101, all the same manufacturer. The product 100 is the CSMK3 I'm using, but must the G-Rex 4000D list 3 entries???