How do you set a DirecTV HD DVR receiver back to factory default settings?

It's in the user menu that you can access with your remote. It's one of the options, once you select the right menu heading. Haven't had Direct for several years, but I remember them having it back then and my current Dish unit has it available also.