The original tools are probably long since scrapped. I certainly don't have them anyway. In any case they were soft tools and 4000 or so shots was about their limit.

We have hundreds of spare knobs and buttons but they're all opaque grey so not much use.

Rob