NBC: I don't know how awk actually does the technical task of reading the file from disk, but are you sure it is more efficient than calling cat? Might be, might not.

While waiting for you to dig into that, I give you that your code is prettier than mine.