Have a couple of questions on the below Ricoh models. How do you do a format hard drive on theses machines and how can we tell if it has a DOSS kit?

MP3352SP

MP4002SP

MP6002SP

Thanks for any help.