Oh I understand what you are stating. I thought you were saying that the screen savers are streamed.IIRC, typically a 4K video stream is roughly 2X - 2.5X the size of the corresponding 1080p stream, at least for Netflix that is.
So that 15.3 Mbps 4K HDR Stream will be about 7 GB Per hour. In contrast, the top quality for 1080 will be about 6-7 Mbps or 3 GB per hour. (Note that the files are often much smaller than this actually, judging by the file sizes for Netflix downloads.) Actually, come to think of it, it’s a bit under 6 Mbps on my 4K TV for 1080p streams but it’s in that ballpark nonetheless.
I don’t know if this carries over to the screensavers but if it does, then that would mean around 1.2-1.5 GB for those screensavers. IOW, 4 GB for three of them.
I guess using Netflix to compare might be okay, I am not sure of the technical difference between to the two, so not sure if it is a Netflix would be a good gauge to extrapolate the size of the aerials.
I would have guessed that the Netflix 4k stream would be a little higher than 2-2.5 that of a 1080p stream. Is this HDR?
Might be a nice thing to research one day.
Even still, this would add up quick once you have more than a few screen savers downloaded.
I personally wished I could control which ones were downloaded, as I would permanently remove any aerial that looks industrial or urban. I would probably remove the desert and Greenland ones too.
Actually, if I could just keep the Hawaii one that starts out on the water, I would be fine with that. That is such a beautiful screen saver.