Ricevitori Ever Ready — i manuali di servizio