Vor allem für die Einsatzjacke sind die mal garnichts.
Da würde ich da evtl. wenn überhaupt auf die Teile verweisen, die man sich an den Schlüssel machen kann. Klein und für den Notfall ausreichend.
Die bekommt man auch günstig in der Apotheke.