You should be good.... on my 2011 I put DEF 3 times into the tank... loosing my mind at my 70yrs of age.. did it while in a hurry... every time..
I didn't bother to drain it.. it was only a pint or so.. each time... I poured a gallon of Power Service diesel Kleen into it the first time.. and drained the under frame filter every 10 miles.. changed the filters after a hundred miles..that's it.. 2nd time I did the same.. 3rd time I added 911 and a whole gallon of DKleen.. drained changed fuel filters..
Truck ran strong when I traded at 125K ... those incidents happened at 40k 60k 75 K ... I used lube additives until the day I traded..