I was the only bidder on an auction for an '82 RCA CED of Dr No this weekend ($0.99) which I have sent to -1. His CED player (like most of them these days) is very hit and miss, and the discs can be equally troublesome, so there are no guarantees that he’ll be able to play it at all, but with a little luck he should be able to confirm or deny the existence of any deleted scenes on the disc.
There is a facebook group for CED that has a lot of knowledgeable members and info with regards to repairs and replacement stylus cartridges for most RCA players.
https://www.facebook.com/groups/36668183795/