reading a text file

[jmcilhinney]

I think that should work, or would that be inefficient?

It would be inefficient for the same reason: calling ReadAllLines requires reading the entire file. There's no point reading every line if you only need to read the first three. It's not a big deal if the file is small but the bigger the file, the more inefficient it becomes.