they are not easily available
and are very expensive.. I don't think you can find anything more than functionality,features and contact information on the web...
There are some auto-shufflers available(for home use only) for as low as 10$, I've one at my place which can shuffle 6 decks with my manual effort of pumping. I got it from amazon..
Just bing it !!!!