It wasn't the driver, unfortunately. It was the gun itself, and would have been $300 or so to fix. Instead I picked up an LCD TV, same size, for $750 shipped. As a bonus, the LCD has a digital tuner, so I get lots of digital and HD channels now that I didn't before.
I had already repaired this TV a couple of times before, including replacing the convergence board, so it wasn't worth keeping around.