USB Driver for Propeller Demo Board

machinestuff

I didn't receive instructions for the Propeller demo board and couldn't find any online regarding loading the USB driver. There wasn't a driver under Propeller Downloads. I finally found a driver under FTDI drivers. I downloaded the ZIP and pointed the windows driver dialog to it, and it seems to work ok. Did I get the correct driver and which file specifically was it looking for?