Navigatori Pioneer — i manuali di servizio