I'm looking for a laptop for heavy audio editing. I have two options: 1. HP Pavilion DV6 3050, with Intel i5 520M processor (2 cores, 2.40GHz clock), 4GB RAM. 2. Dell Studio 1558 5470HD, with Intel i7 720QM processor (4 cores, 1.60 GHz clock), 4GB RAM. Both of them are about the same price. Which processor will do a better job in audio editing - the i5 520M or the i7 720QM?