My 2013 JCW Paceman needs a new clutch. The transmission shop that is working on the car has a great reputation but hasn't done a Mini clutch before (at least not one of this generation). They don't have the special tools listed in the repair manual. Does anyone know a good source for these tools? Or perhaps a workaround? A place to rent them? Any help appreciated. We need to get this car back on the road. Thanks.