Yup, that's a K7000 chassis, and funny enough, that's the exact same picture tube that I have in mine. An RCA A63ADT10X05 with the bonded yoke/purity setup that I had pulled from an old TV i got for free. While the K7000 chassis typically does self-discharge the tube, it won't always do that. I got bit by my set after pulling the chassis out to do some work on it. Didn't get bit when I pulled the chassis, but got bit when I went to put the anode cup back on. heh.
Just to be safe, take something like a metal spatula from the kitchen, strip a whole bunch of insulation from some thicker gauge wire and wrap it tightly around the metal handle, tape it down with some duct-tape, then wrap the handle a few times with a kitchen towel. Super cheap and quick discharge tool if you don't have a long metal shafted screwdriver.
You can strip off the other end of the long wire and clip that bare wire to the metal chassis cage and put the metal spatula under the anode cup to discharge it and dislodge the clips.
Just remember, after you discharge the tube it will tend to build up a charge again while you work on the chassis. BEFORE YOU RE-ATTACH THE ANODE CUP, DISCHARGE THE TUBE ONCE MORE.