Hi guys my fiesta was making a wurring noise which STOPPED when i pressed the clutch in but you could hear it when the clutch wasn't pressed i took it to a mechanic & he said the gearbox bearings needed doing so i've just had them done & was wondering if they should still be making the same noise the mechanic said they'd sound loud for another 1000 miles or so any help?