a guy was here today fixing my tv and he opened it up. I looked inside and noticed that the tubes and mirror had dust on them. not that much, but a certain amount, that surely will accumulate over time.

my assuption is that this will interfere with the video quality, causing grainy-ness.

any ideas as to whether it is a good idea to clean and how?

thanks,
ravi