As others said normal for a new engine but I did mine around 800 and then 2000, 5000, 10,000 Dealership paid for all of them. I have 13,000 on mine now, bought it in April
I have the same truck and its in there some place, I turned mine off 6 months ago so I don't remember where it was. Just look around once you have it connected and you should find it