I've been using machine pin headers on my Arduino Pro Minis, specifically the ones Sparkfun sells here: http://www.sparkfun.com/commerce/product_info.php?products_id=117
Problem is, I cannot find these anywhere else for a reasonable price! I need a whole mess of them, and I've noticed you can get the other headers for half price or less elsewhere, but I've searched all over Digikey and Mouser and the only machine pins I've been able to find were on Digikey on some very expensive IC sockets.
I've tried regular headers but when I use those the Arduino sits absurdly high above the socket. The machine pin headers are almost perfect aside from sticking out the top a little more than I'd like.
Any suggestions were I could find these cheaper or some alternative method of sticking the Pro Mini in an IC socket?