ich kenne es so, dass kupferhammer verwendet werden. mit stahlhämmern macht man die pins bekanntlich recht schnell kaputt.
frühger hatten wir beim bühnenbau auch die hämmer mit füllung. aber das war nicht wirklich viel leiser als mit kupferhammer - und die plastikköpfe waren nach relativ kurzer zeit abgenutzt