In any case, the tube is no longer available as a new part from Sony.
If he really wants to have the tube replaced, try Video Display Corp.
out of Atlanta, GA if they are still around. They use to sell rebuilt
tubes.