most likely they damaged the seal ( o-ring) in the p/s hose,, have them remove the hose and replace the o-ring