All is well. The RPi4 works great with libreelec, fast and with the added heatsinks it runs cool. Not using the fan yet.
The included sd card is not a genuine SanDisk. Tested with black magic disk speed test, and the write speeds don’t go beyond 20MB/s. Read speeds reach 95MB/s. For my purposes it is fine. The capacity is as advertised: 16GB.
Raspberry pi 4 running smoothly. All good so far.