Thank you for your post.
The ADC-11/12 has 10,000 samples per second which is divided between the active channels, so the sampling rate of 10Khz is not obtainable while looking at 4 channels at the same time.
Unfortunately, we do not have a single unit that has 4 channels and a 10kHz sample rate on each channel. To achieve this you would need to use multiple units. Further to this you would also have to write your own software.
If you are considering the above then I would recommend looking at the ADC-212/3.