Hi needs some assistance with a whining noise which has recently started happening on my car on cold start, goes quite once warm and gets slightly louder when I push down the clutch, belts have all been done less than 500miles a go, would I be correct to assume this is a clutch release bearing...