dv3t, dv4t or dv4t with ofs07

Okay, some of you might have seen my posts on the what laptop should I buy area. Well I believe I have narrowed it down to some models I checked out at Costco. As an added bonus they have their own conceirge and support service just for being a member and purchasing there. Any opionions from current owners (pros, cons, pitfalls, explosions, whatever) would also be appreciated. My major factors were intel processor, no giant screen (there was a 16 incher that fit into this group but I deemed it too big) and price range. dv3t and the last option are $100 more than the middle option

dv3t 13.3 http://www.costco.com/Browse/Product.aspx?Prodid=11479354&Mo=22&whse=BC&Ne=4000000&eCat=BC|84|56670&N=4033676&Sp=C&pos=1&No=15&Nr=P_CatalogName:BC&cat=78107&Ns=P_Price|0||P_SignDesc1&lang=en-US&ec=BC-EC5-Cat84&topnav=

dv4t http://www.costco.com/Browse/Product.aspx?Prodid=11479353&Mo=22&whse=BC&Ne=4000000&eCat=BC|84|56670&N=4033676&Sp=C&pos=1&No=10&Nr=P_CatalogName:BC&cat=78107&Ns=P_Price|0||P_SignDesc1&lang=en-US&ec=BC-EC5-Cat84&topnav=&SessionID=ce10bf5e-e009-44e1-9ed7-effbb2812fb6

dv4t with 07 office http://www.costco.com/Browse/Product.aspx?Prodid=11479348&whse=BC&Ne=4000000&eCat=BC|84|56670&N=4033676&Mo=22&pos=1&No=13&Nr=P_CatalogName:BC&cat=78107&Ns=P_Price|0||P_SignDesc1&lang=en-US&Sp=C&ec=BC-EC5-Cat84&topnav=