I watched Lamport's entire video series once and only just felt I was starting to get it. I will have to watch the entire thing again.

I also found a (very minor, inconsequential) bug in the materials and emailed him, and he wrote me back and said thanks, so that felt like a career highlight to me ;)