The thing is: If bleed is an issue, probably the performance (or mix) wasn't great. Sure you can move the mics a little, but the difference in terms of bleed will be slim. If the performance was great, a hihat that's a few dB'd too high won't be a deal breaker.