SkyDigital STB IR - Newbie problem

Hi Guys, just got my Tivo set up. Everything is fine but I can't change channels on my Sky Zenith STB. I've found references to a SkyZenith.tcl that I think I need to install but I can't find the file on the Net anywhere and then am not sure what to do once I have it.

Help greatly appreciated

Cheers, Phil

I managed to locate a good skyZenith.tcl and followed the provided instructions. All good (after I realised I needed to apply the change POST guided setup!).