This is "only" ISO 7200

Note that the lighting was not especially well designed, in my estimation -- the guy's forehead was not red and the camera didn't make it so. It's not long ago that a picture this sharp shot at 7200 would have been laughably impossible.