I recently put together a simple script that I use for TV out switching on my thinkpad. Let me know what people think about it if you decide to give it a whirl: http://www.rage3d.com/board/showthread.php?t=33824308