No problem at all, always happy to help.
The video formats and codec options are on the Video Settings page. Make sure you select the right one (you need to be in Video rather than Photo mode.
The two formats are .MOV (best for Apple Macs) and .MP4, which works well with all computers, smartphones/tablets.
The Codec options are a little further down. As mentioned h.264 works on all devices. H.265 is a newer codec that works on ‘most’ new computers but may require the codec software installing first. H.265 applied far greater compression required for UHD video but in smaller comparable files. The downside it requires a powerful laptop/PC to be able to edit it natively in real-time although there are workarounds for this.
PS. My username is based on my favourite part of the world, somewhere I’ve spent many, many months over the years. Very envious of you being in the Highlands, though not so much the weather!