They were produced by Brad (Darksoul) a member here, I have his first disc it is full of interesting information.
Also if you haven't got the 'this old pinball' DVDs they are definately worth checking out.
There are 8 different dvds aimed at different eras of pinball, heaps of great tips and troubleshooting
Here is a link:
http://marvin3m.com/top/