This is a pretty common leak on the Mini Coopers. The repair kits are cheap and the job is an easy one.
No download links available.