Pretty sure I’ve got a pair ( of the small ones) along with some other airhead tools. These will have come from one of a 1979 R45, a 1983 R80St or a not airhead ‘85 K100 RS. Ping me a message in the morning if interested and I’ll dig it all out. Umm postage plus a little bit. Ok?