Dealer for push pins?? Meh. Bought a huge kit with hundreds of push pins, about 25 different styles, for about $30 off Amazon. Work fine, and when one does need replacing you’ve got many different sizes/styles at your disposal. The kit has paid for itself many times over already.