Cost of a rebuild will depend on where its done and what they charge but i doubt if you'll see much change from £600,also, when the gearbox is off you're as well replacing the old clutch with a new one so that will add to how much it will cost you. Hope you were able to negotiate some of this money back when you were agreeing on a price for the car