I don't think that camera shoots at that frame rate. It is a HDV camera that can also shoot DV. Neither format supports anything like 10,000 fps.
Are you sure you are not confused with shutter speed?
Yeah, that's my thinking too. It's 60 fields per second, at best, in the recorded stream. If it is the shutter speed you're talking about, just import/capture the footage into Pr: the "look" has already been baked into the footage.
+1 on shutter speed.
You can maybe get a few 1,000 fps on a Phantom camera, but that's gonna run you about $2,000.