it may just need bleeding properly. the release bearing will work, or not, so should be as was, is the pedal soft at the top?. gearbox cant affect it. is he clutch plate fitted the right way around? was the gearbox hung on the clutch during install, bending the plate?
shouldnt be too hard to fix, chuck it back at whoever fitted it
tony friel
January 2011