In 4K PAL mode, the Sony gives only 25p. If you want to shoot 24p or 30p, you have to switch to NTSC mode, format the SD card and then every time you switch on the camera, an annoying "NTSC" message will appear on the screen for some time.
All other manufacturers allow you to shoot 24p/25p/30p in PAL mode.
Have any of you addressed Sony with this matter?