Granted, but you could contact archive.org and ask how $8k of AWK credit could be donated and used productively. I'm certain they'd have a valuable use for it.