sounds like theres been a wire damaged somewhere along the line when the gearbox was off for the clutch to be replaced. id inspect everything from the bulkhead forward and see if you can see the issue obviously, then start looking at getting a multimeter on it and testing wires etc when the problem starts.