Can anyone tell from those two videos what it might be?
If you turn up the volume in the second video you can hear the squeak come and go by just resting my foot on the clutch.
What does replacing the throw out bearing cost? Almost as much as the full clutch job?
Your local mechanic should have known better and changed the TOB with the clutch. That sounds horrible compared to ones I have heard going bad.
If it were me I would call him and ask if he changed it. If not, I would be pissed at him and demand he does it for free (free labor) or at a lower cost. I would be shocked that a shop would still be in business cutting corners like this.
So adjusting the clutch might clear this up a bit or no?
Also I thought that if it squeals when your ARE NOT pushing on the clutch it is actually the Pilot Bearing and if it squeals when you ARE pushing on the clutch it is the Throw Out Bearing, no?