Am I free to use the four 64-bit timers for interrupt-driven timing while using the Arduino IDE?

Make sure WiFi is off.

Can someone provide detailed descriptions of analogSetCycles() and analogSetSamples()? Please don't say "sets the number of samples in the range" or "sets the number of cycles per sample". I have looked at the Arduino source code, but that led to a dead end trying to use the ESP32 documentation. My ...

Don't forget an outboard low pass filter at about 4 KHz for antialiasing. You are actually working below the Nyquist sample frequency, so a sharp filter would be appropriate.