Yes I'd be tempted by just changing the gearbox oil and living with the car until the clutch starts slipping or becomes difficult to drive.So you're going to spend out on a new clutch and there's a possibility it won't cure it. Mine still does it even after a new clutch and flywheel. Like I said, once the oil is up to operating temperature, it's all fine. If yours is the same, leave it. Especially for the sake of chucking money around that you don't need to.
Or get a second opinion.