What kind of repairs are scheduled for the Battleship Texas