How to restore default kits and sounds?

I bought used AR MK2 and wanted to clear all the samples and projects from previous user. I went to Format +Drive menu and erased “Projects+Sounds” and “Samples”. Unfortunately, it removed the factory presets and sounds too. Is there a way to get the factory sounds back?

Factory reset - p 67 of manual - hold down fctn key during startup and select option 3… this should normally reinstall factory sounds.