Has anyone got this? I'm considering buying it over PSN, but I've no idea how big the download is.