Thank you for using JustAnswer.
If the diagnosis of the repairman is bad picture tube, I would also suggest you to buy a new one. The cost of each picture tube(there are 3 - red, green, blue) is around $250 to $300. There might be only one tube bad but the other two might be going too soon.
I hope this answers your question and if you have more please feel free to ask.
Please click the green ACCEPT icon if you feel I have given a complete answer, and you can leave positive feedback. Positive feedback and bonuses are always greatly appreciated!