"For The Record" vinyl cutting doc

My friend sent me this vinyl cutting documentary that was funded or something by Redbull (?) and visits a bunch of record cutting locations and people in Europe. The process is always completely fascinating, no matter how many times I see it. It's like being reminded of the crappy, barely functioning dials and switches that got us to the moon.