RCA D52W17 repair question

[connect42]

Hi. I just picked my in-laws Tv up from the repair shop.The repair needed is the Blue CRT and the CRT board. That is what the repair ticket says. The cost will be $528. I am thinking about trying to make the repair a project that I tackle.
Does anybody here have any clue as to what parts are needed for this model. I found a blue CRT on ebay, but the model numbers don't match perfectly.

I guess what I am asking is: if you were going to do this job yourself, what would you do next?

and yes ... I know the obvious answer is to trash it and bug a new TV. If it was for myself that would be move #1.