FYI, here's an a9 sample at ISO 20,000:
Ready To Rumble by
David Stephens, on Flickr
I could have shot at ISO 10000, but I wanted to see how the file would look. Remember, I use DxO's PRIME noise reduction, which is one of the very best, pixel-by-pixel NR programs that you can bu.