Thanks kev.
I stand corrected on the combined Lorentz factor. I did the math (algebra) wrong. If I did it right this time, the Lorentz factor for two oncoming protons each with Lorentz factor k=7500 is 2*k*k-1 = 112,499,999 which agrees with what kev came up with.
I did not completely...