if they fixed your abs for 350 you are doing really well.. i was quoted 2500 for the part and like 400-500 for labor

turns out you can do it yourself for much much cheaper (100-150).. there is a guy who re-builds the modules for like 100 bucks.. maybe the shop did that?

take a look at it and see if it looks new or not.. here is a pic of me removing the harness from the module


as far as i know there is no way to disable the ABS without the light turning on unless you cut one of the pins off of the harness.. if they did that i would sue the ever-loving you know what out of them for all sorts of safety violations