Yesterday i saw the news, Dell's Latitude E6510 and E6410 have been coming out.
Dell released 2 new business laptop in the first quarter of the year 2010.

I have checked the manual, couldn't find a section discrib how to reset all the configureation for Ricoh Aficio 3025. also checked Ricoh website, there is no manual can tell.