It wasn't a small amount of pressure. It would go away only during full-engagement of the clutch pedal. I have strong arms. He said that if it was a throwout bearing problem that I'd have problems or hear noises while shifting or driving which I didn't have any problems with. He said the noise could be from the clutch discs engaging with one another until the clutch pedal is pressed and they become disengaged. It's a street/strip clutch from Centerforce. Anyway, checking the transmission oil is a good first step. If the noise doesn't go away, then I will explore a throwout bearing or possible other issues.