Have them do the front brakes and bleed the entire system as outlined in the factory service manual which includes the ABS actuator. You can also do a "search" in this forum for the correct bleed procedure. If they can't/won't bleed system per FSM, find a shop that will, or DIY.