I don't specifically remember it, but I had the manual, and I was a voracious manual reader as a kid. I also remember the carrier landings being the hardest thing in any game I ever played. Felt like about a 1% success rate, and I never quite knew what separated a successful landing from an unsuccessful one that looked identical on approach.