voltagesurge:
the ADC given there won't work as the sample rate is too low, I'm looking for 10kHz.
Search for a suitable ADC on one of the big component suppliers websites - RS Components or DigiKey, for example. I have some ADCs from 20 years ago that can do 40 million samples per second - though they are only single channel and don't have amplification.
...R