How large is the file? I was considering downloading Red Pixel+ but I was worried I might not have enough space