Help please!! Friend has just bought a DX7, with no cartridge and no internal patches installed. Any of you know if there is a "factory reset" option by way of a combination of buttons or something? Or arent there patches installed that way?>??

Thanks.