That looks to be it. Thanks!
Other pictures of K7000s show an optional remote board for video adjustments, which is what mine has. Based on some reading of some of Ken's old posts, it appears I don't have the Zenith version, which is nice.
Bob Roberts sold a nice K7000 Series repair kit, which included a flyback, cap kit, HOT, a fuse, and a cap for C51 for $28. What are my options now?