Thanks. That actually answered my main question: how did they manage to remove the big scary red wire. It shows how to use a discharge tool connected to ground

Thanks. That actually answered my main question: how did they manage to remove the big scary red wire. It shows how to use a discharge tool connected to ground to discharge the anode wire. Even before doing such a thing, I'd do some more research on servicing CRTs before attempting such a thing.