If they brought up CDI and Pippin, then why leave out Commodore CDTV and CD32?