I have actually a silly question, but where does your trophies being saved? Into your harddisk or to a Sony's server?
My brother-in-law did a format and lost his GTA IV trophies though.
Another question may arise, that how you can make a completely backup of your PS3 HD (I normally copy my save games to a USB stick for backup), including trophies possibly?