I'd get a Macbook Air, but it might be just a little bit above budget. On the plus side you get a huge battery life and you're running a *nix. You can't be sure

I'd get a Macbook Air, but it might be just a little bit above budget. On the plus side you get a huge battery life and you're running a *nix. You can't be sure how difficult it'll be to get Gnu + Linux to run if the HP has Window's 'safe' boot.