The first carrier is Betty and the second is Chuck.
The Super Hornet gotcha is the question of how long it will stay in production. The plan is for the USN money to switch to the F-35C with the last buy year for the Rhino being 2013 (IIRC). I can see that event being pushed to the right to ease pressure on the JSF SDD program - or Boeing could pull a win in Denmark or India.
But in any event the UK may not have a choice of CV-capable fighters if it waits until the last moment to buy.