Same intermittent grittiness/vibration through clutch pedal travel issue, usually after hard driving. Started appearing around 5k I would say. Used to have to pump a lot when it first started, but now a few pumps take it away immediately if it occurs. 20k miles now on an '11 WRX completely stock. Post up if you guys find any solutions.