I picked up these two CED players at the WARCI swap meet last weekend. The first is a Sears from 1981. Replacing the two belts got it working. I recently bought a box of VCR belt kits off of ebay, and while there turned out to be no belt kits in there I actually needed for any of my VCRs, I found belts that worked in this CED player looking through them. You can see my cat Moppet helping me fix it in one of the pictures.
The other is an RCA VJT400. The outer case was covered in dirt, and all the screws to screw in the top and bottom were missing, so I expected it to be all dirty inside and missing parts. But it looks clean inside, and doesn't seem to be obviously missing anything. The belt in the disc loading mechanism has turned to goo. I'm about to clean it out now and see if I have a new one that will work in this player too. The looks like a deluxe model, it uses a remote control (which I don't have), and has stereo sound (not that I have a tv with stereo sound
).