We will not get the F35s to fly from them until about 2050 (sorry I'm probably being a bit optimistic there), so there is no rush to get the carriers out. We'll save a fortune in fuel costs simply by leaving them where they are for a few decades. Then the only problem will be updating to Windows 2050.