I highly suggest that if anyone does their own change or a quick service, they keep receipts. Warranties really look for that. Had that on another vehicle, inspector went to the mechanic and look for those docs. Especially power train motor issues.
Not sure if mine has any debris but this is what I have done. I currently have 8k on my truck. I did an oil change by the dealer at 3k and 6.5k and the free one at 10k to come up soon. Not that the mechanics would check but nothing was noted in the paperwork. So fingers crossed.
My belief...