You can buy them but its just a plastic or brass tube that you push over the standoff and lift the board at the same time.They were included in some older machines. A gutted pen ( just the hollow tube ) is just a little to big but it does work.
They are a few dollars to buy but just as easy to find a tube with the correct diameter that fits over the end.
http://www.pbresource.com/tools.html7 or so pics down labled as circuit board remover tool
