Hope it is a Raptor specific service manual and not a generic F-150 manual like what comes in the glove box....
I don’t think a service manual has ever gone in a glove box. Owner’s manual yes, but service manual I never recall seeing one delivered with any vehicle I’ve purchased.
That said, I wish a Raptor Specific service manual was readily available for Raptor owners