This helped.
I was fortunate to download the files previously as the link to the appropriate wp8 binary downloader 3.54 and the .wp8 and .csc file are not available via the link supplied in this thread. Use the samsung site link for the usb driver.
I'm not sure if i'm using the most up to...