And anything above 4,000 means serious noise reduction in post processing.
Set the camera to Auto ISO with a maximum ISO of 8,000 to 16,000, depending on camera model. I work with a Nikon Z5 and an ISO of 10,000 is my ceiling. And anything above 4,000 means serious noise reduction in post processing. Set White Balance to Auto and let the camera do its work.