Ah, I couldn't remember if I'd played that game on PS3 or not.
As for downloading them for now... well, I can only hope they'll still be available for download during Christmas break. As I don't have my PS3 here, and the MediaGO PC application doesn't let me tag PS3 software for later download... I won't be able to do anything until then.