Your Shop got taken for a ride
Gasoline in the tank , in the short term you describe will not cause a parts failure
The "fix" should have been to drain the fuel and flush the lines
DEF in the fuel , on the other hand will usually require a complete fuel system
-- short term exposure , can get...