DJM-S9 64 bit drivers

So Pioneer released a bunch of 64 bit drivers for their products. The drivers are not on their support site, they come with the installation of the new RB.

Could you guys please update your support/driver site ... probably the first place to go if you look for new drivers. Also an notice here on the forums or the main Pio-DJ site would be welcome!

What about drivers for mixer which aren't supported with RB. Can we expect 64bit windows drivers for those (in my case DJM-S9) aswell?

Thanks

Flowshi