Any thoughts on these two options (or others)? I had also been looking at Dell Vostro models, however they appear to have jacked up their prices over the last few days. HP Pavilion 15" i5 (10th …