I'd personally run 7.1. Of course it depends on what you want to do with it, but I like running the OS that shipped with the computer, just to experience what it was like when the machine was new.