I'm thinking about these two models: Dell Inspiron 600M and ThinkPad T43. Does anybody here have any experience with either of these models? Any recommendations? Thanks a lot.