Well, it seems like a gamble either way. With the DS3L, there's a chance it won't hit 3.0 ghz or over. With the IP35, there's a chance it won't even boot. Taking that into consideration, I think my choice is pretty clear.
Unfortunately, it seems Newegg has dropped the DS3L entirely, and...