You could do it for about £25,000 including a soft tool good for around 3000 shots.

Fixing up the original tool would probably cost £15,000+ but I suspect it has been scrapped by now.

Rob