Yep. That is a seriously long manual. The one for my 2014 is 802 pages long. This is not the same one that comes in the packet with the truck.
If you are the first registered owner of the vehicle you can get the complimentary paper expanded owner's manual, Navigation/Uconnect manual, and...