Both of those sound like good options. I am not too bothered about the noise because I will almost always have music playing from either iTunes or a game. And over the past week or so, I've been used to having a desktop fan at full power constantly... plus I switch it off at night so it wouldn't keep me awake. I wonder whether it would be a good idea to get a more powerful one at the expense of noise - which of those types are cheaper?