I've got a funky version of the theme tune to 2001 by him

(asciifaceofbob meh, Sat 22 Dec 2007, 19:28, archived)