Yeah the CD32 dev boards are interesting, probably worth a bit.
what CDTV CR "software" came with it? I havent been able to find any documents or software for it at all. (Although a new Welcome disc was designed for it)
The black A4K will make some money too I bet.