I think I can perform this repair myself...so long as the ICs in question aren't SMT, and can still be purchased! Where might I find them and their associated sockets? The hardest part (which I will likely procrastinate on) will be moving the set away from the wall.
That discoloration at the corners of the CRT really intrigues me. I simply cannot come up with a logical explanation as to why it's there. I am also not the only one to have noticed it; other owners of this set have reported it.