Where do Protons Go Now?
Total
MiniBooNE
Pbar production (limited by debuncher)
Operationally, the collider gets whatever it wants, and MiniBooNE gets whatever is leftover within the limits