mp4 player

I'm planning to format my mp3/mp4 player (Cowon D2+) because I suspect there is some kind of virus in it. And I worry that after formatting system disk I won't be able to turn in on, on the Internet I have found firmware update not base firmware for this model. Or could it be that firmware is...