Put mine in hospital (dealer) with ck engine light, and DEF light. Service writer called and said I was out of DEF, I said no way it has only gone 3,000 miles since you filled it up, asked if they should fill it up. I told her yes put one jug in, she called back later and said that I would need a new DEF tank due to mine having a hole in it, and it would run about $1100.00!!!!!!! Before I could say anything she said that when the shop mgr got back they would call GM and see if they could help me out on it. They called back in about an hour and would split the cost 50/50 with me.