I just bought a 24 GMC AT4 and the only manuals i received were a quick start guide and a owners supplement that mostly talks about the seat belts. I was just wondering what is standerd. Because the dealer has been a disaster through the whole processes. Thanks