Why worry about 4000iso at 100% crop?
I'd say that would depend on how you intend to use the image; print large enough and it will show.
I have to shoot at high ISO (4000-6400) all the time for indoor sports in dark gyms. The noise is manageable for web pictures and small images in print but I occasionally get an order for something poster sized, and then the noise is a real issue.

