( 5 , 500 tons ) , Galileo ( 4 , 000 tons ),