LHC portal

It has gone down very slightly... IIRC, the beam lifetime at nominal is meant to be about a day, and at present the collision rate is about a millionth of nominal, so I would expect the depletion to be very small at the moment.

Here we go...

Nice paper on the LHC here: http://arxiv.org/abs/1002.2891