A great tivo remote is the One-For-All
urc-6131. Or you can get the replacement model for the sl9000, its the urc-100, it has a tivo code preset.
whatever remote you get, look for the code for philips or hughes under PVR, SAT, or VCR, depending on the remote.