In answer to my own question, in case anyone searches for this later, the answer is no. A replacement PS3 asks for an existing PS3 drive to be formatted, so they are locked to specific units. I guess proprietary encryption would use a per-system key? Restoring a backup restores users and the media you had, and game saves, but not the games, or account details (sensibly!). You have to download all your games again.