Auch für den Mini gibt es ein Radio mit CD, allerdings eben nur das Originalteil. Die "normalen" Radios passen nämlich nicht... leider eine teure Lösung.
Du könntest auch einen extra CD Gerät kaufen und mit so einer Adapterkassette arbeiten, aber da hast du furchtbar Kabelsalat und störungsfrei funktoniert das auch nicht.