Well, then ask your local Mini dealer. They will do it for around $450 labor.
If you have a good mechanic that you trust, then have him read up on Randy Webb's website and follow his instructions. Any good mechanic can do this job, but a special pulley puller is needed to do so. If you get your pulley from Randy, he will lend you this puller.