Thanks! That bitcoin-dice.html link is awesome. It links to a rather short bash script that seems to do the key to public address conversion. That is exactly what is needed.