I finally got around to replacing the lamp today. The original has 12152hrs on it. The lens is pretty cloudy, but it was still working. I'm going to keep it as a back up.
The picture is much brighter now. It's amazing how you don't really notice how dim it gets over time.
Does anyone know how to reset the LampCT on this thing? I found a million places that said how to reset hours, but I couldn't find any place that showed how to reset count.