Ah, the other possiblility is that if they didn’t open the bleed screw when they pushed back the caliper piston when putting the new pads on, they pushed the dirty fluid back up to the ABS system and may have damaged it. Don’t know if it would show up that soon though.