I like the noise on the 5D Mark III shot. It looks very clean to me.
If you want to shoot in Tv mode and shoot to the right, a lot of times I'll put on my 70-200 f/2.8L II IS lens and go into CFn.2 and set aperture range from 2.0 to 2.8, "forcing" it to stay at 2.8, or wide open. I then set shutter speed to 1/500 to 1/1000 depending on light, auto ISO, and then set EC to +2/3 or +1. However, a lot of times I know the gym so I set ISO value manually so that I know most areas of the gym it exposes +2/3 or +1. Ashland U's gym you can typically shoot 1/800, f/2.8, ISO 4000. Instead of raising ISO, I may lower shutter to 1/640 or 1/500 depending on end of the court. I can't find any difference in noise, however, between ISO 4000 and 5000.
Post production usually has to be done quickly. My NR ranges from 25 to 40, and I typically sharpen at 55. I almost always have to adjust the exposure slider slightly, I do at least +10 clarity, but I adjust saturation by individual color. I usually default to a medium contrast tonal curve, although we all know gym lighting and often times have to adjust the green tonal curve.
I'm going to try that PS color filter too, because I have time to do my photos longer over Xmas break.
With a 1DX I know at least, you can do an 8 x 10 fairly successfully at ISO 10,000 (the highest indoors I've tried). Outdoor night football I did an ISO 12,800 and it looked pretty good.