Looking for a new linux machine. Thinking I will run Mint on it. What is a good machine for a small amount of money? It will just be what I take with me on the road for work. Might do some very, very light gaming. No major titles or anything like that. Looking for decent performance and battery life. Does not have to be new. I just don't want to spend a ton for this machine. Sub $400 is sort of my max. Lower the better.