Again this has probably been covered somewhere but I haven't been able to find it. I upgraded the sound system on my 2013 Mini Cooper Coupe (R58?) so no longer have the Mini CD radio that enables me to change the time that way, but I can't find a clock setting anywhere else to change the time...