I recently purchased a 2018 F250 Powerstroke. According to the manual listing, my DEF tank has a capacity of 7.4 gallons. Yet when my gauge says I'm half full and I add a jug (2.5 gallons), it now reads full. Is there some sort of hidden reserve or did they change tank sizes mid-year or what?