When I picked up my car, the dealer showed me what looked like an Allen Key in the boot, and said that I would need it in case the roof ever failed, and I had to wind it shut manually. I've looked for instructions on how to do this in the manual, but can't find any mention of it. Is anyone aware how this operation is carried out please, or if there are any instructions hidden somewhere?