Does anyone know what screen recording software they use to produce these videos? the Quality seems much better than what I remember being able to achieve with windows media encoder

(please forgive me if this has already been asked - you can imagine that a search on 'channel 9 screencast software' has probably turned up every single video ever posted!)