You can get it at any number of retailers, but it won't work directly in Vegas. You can output files from it for Vegas though.
Sells for about 200.00 or so, and exports 32 bit files.