Brian Keller dropped by our offices to record a movie on Pex. A good old white board session to explain how pex works:

http://channel9.msdn.com/posts/briankel/Pex-Automated-Exploratory-Testing-for-NET/