There are multiple original radio options in the BMW 7 series (E65/E66/E67/E68)*, which option is the original fitted system?