I ended up using passook, but I manually converted the passwords so that
they are lower case and of the form <word><digit><word>, since that's the
format they're using now.  If someone knows of something like passook that
will use that format please let me know.