I have a manual 2003 Mini Cooper base model that started getting stuck in gear. A little lube on the shift cables helped me get it back into neutral, but now its making a bad noise and then making noises and sometimes stalling when I get off the clutch in neutral (see videos). Some research revealed that the throw out bearings were made out of plastic for this car, so it sounds like I may need to replace mine. Does that sound right, or is there something else that may be causing the problems I am seeing like the shifter cables? Thanks in advance for the help!!!

Shifting: Clutch noise: