Thanks Gidion!
There’s a photo near the bottom of the page that, if you click on it, shows a bigger picture of the deck. Interestingly, if you zoom in on it, you can see that it says “DECK/CD PLAYER DC1010” (at least that’s what it looks like to me).
Note that it doesn’t say “CASSETTE DECK” or “DCC DECK”, just “DECK”. Also there is no DCC logo.
The detailed information in the article about the designer makes me wonder if they knew the guy personally and they got a prototype / preproduction machine from him, or through him. There is definitely no DCC logo and I think it would definitely would have had one if this would be a production unit.
The search continues…
===Jac
EDIT: the Service Manual for the DC1010 that I just googled, also says “DECK/CD PLAYER”…