My father-in-law was using my Ferris 1500Z when the drive belt came off. I'm not sure how it happened but he ended up pushing the mower without releasing the hydraulic pumps. I have since then released them but haven't put the belt back which means I haven't used the pumps. Did he damage the pumps and is there anything I need to do before re-engaging the pumps? Thanks.