There are multiple original radio options in the BMW 7 series (F01/F02)*, which option is the original fitted system?