C6713 DSK with Windows 7

Is there a Windows 7 USB driver for the C6713 DSK and CCStudio 3.1? If yes, where? If not, what are my alternatives?