Gödel, Escher, Bach video lectures

Since the logic part of M381 Number Theory and Mathematical Logic leads to understanding Gödels Incompleteness Theorems, I am alert at stuff on Godel. I happened to come across a video series ( note: Real format, if you can't already play Real videos I would think twice about installing Real, I think they invented the concept of adware. ) from MIT of which I am sure most of you will like. It's about the book Gödel, Escher and Bach ( video ). More than six hours about that mind-blowing book.