The first two videos of the TLA+ Video Course are now on the Web at
They are far from perfect, but I think they're good enough and I don't intend to change them unless there are real errors that need to be corrected. However, there are many more videos to come, and suggestions for improving them are welcome.
Leslie