In the first two year I owned my non-SPF Cobra, I removed the transmission to fix chronic problems with my HTOB four times. It was not a fun job. I finally replaced it with an externally mounted slave cylinder set up for that very reason. Unless your car has enough miles or years to warrant a worn out HTOB, I'd suggest you have a professional fix it. That way he can redo the job if it turns out to be something other than normal wear.
P.S. If any of the
oil got on the clutch plate, it will soon need to be replaced too.