Alternatively HPI do make a ball diff set for the Pro 4, which means all you need to buy then is the HB diff outdrives and pulley separately. I would imagine this would actually work out cheaper.
However, I have seen a Cyclone ball diff listed on a Japanese website, but nowhere else, can't remember the name of it now though sorry.