I just checked yesterday, and Radio Shack here in Washington State still carries the equivalent of the old Archer TV Tuner cleaner, and the old COLOR tuner cleaner. The more deluxe version appears to have lubricants in it. They also had a third type of RS branded cleaner for about $8 a 6 oz can. Not sure what the difference is.
They also sell De-Ox-It, but it is spendy stuff, over $20 a can for less than 12 oz.
I agree with whomever said that the automotive style electronic cleaners works as well, just don't use the brake and contact cleaner.
I have used WD-40 for frozen/gummy gas controls on my gas BBQ grill, just fine, but never thought to try it on an electronic control. I'm a little scared of that personally.