using prompt for alternate PIN option, more docs, refined applescript output