The SharkPPC cards are just rebranded PCI accelerators for Apple Mac's
Notice the similarity (they are identical)
Available now for $20 (400MHz G3) and $40 (500MHz G3) respectively.
I'll be damned if I am going to pay €200+ more for what at most will be a firmware change, and more likely just a different colour heatsink :-)
Anyone with an AOS4 supported PCI bridgeboard, AOS4 SDK and some programming experience should get one and start the ball rolling.