needs vacuum pump at the back of the head to sort hard pedal . for ABS lights need to do diagnostics ,could be pressure sensors if they have replaced ABS pump

PROBABLY