Nice. Stage lights are some of the hardest lights to deal with behind the camera, too, because the level of just pure color being projected is sometimes so hard to manage, especially with red. I really dislike red stage lightning, even when shooting film. In fact, even more so if they're the new LED stage lights.
I like the results you got here. I can tell where going to extremes on the WB may have cost you some image noise, but it's not a deal-breaker in your samples.