Nah not at all, they told me they just needed to lubricate the clutch cable or something. I don't think it will take long at all.
Oh and when I had the cubby whole thing when I bought my car, I just pushed it in and its been fine since. But as said before its common so I think you will have your car back in no time.
Mine has the same problem they tried to grease it but it was still there has to go in on Thursday to have the whole pedal box changed because the spring can't be done on its own :-(
Mine did it too after about 1000 miles. Didn't go away so I took it back to the dealer and they put some grease on it (took about 1/2 hour). Been fine since. Now at 8700 miles.