I bumped into Michael Dell at All Things D after his interview, and he was nice enough to show me this laptop that he was carrying that he said no one's seen before. It's a small form factor notebook, just like the Asus Eee and the HP 2133. He wouldn't tell me what OS it's running, or the pricing, but that it's a low-cost notebook meant for developing countries, and I hope here. Maybe it's Atom-powered. Who knows? But I do see three USB ports, a card reader, VGA out, Ethernet, and that red candy shell. I couldn't tell how big the screen was before it was tucked away into a black sleeve and ushered from the building, but it's small. Update: Dell just released a pair of shots that add to the sense of scale, but no official name yet.