I disagree with grant - to a point. On a K4600 those caps are 30 years old. They're not getting any better, replace them! K7000 are ~20, they'll have less bad caps, but their value have definitely strayed. Replace them. Something like a 7500 I'd go with troubleshooting which are bad, but often you can guess which might be bad based on where they're located on the board. Say...next to a nice hot resistor. Replace it, and bend the replacement as far away from the resistor as you can.
As for what that other chassis is, it is also a K7000. It says the model number on one of those pictures.
Thanks for your feedback on the cap list, were all three of those caps 10@25V?