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.