Get Date and Time From Video Filename (HELP)

I have a large number of videos (MP4) recorded from my cellphone that are named in the format VID_20230919_135105.mp4
The name contains the date (20230919) which is the 19th of September 2023 in this case and the time the video was recorded (135105) which is 1:51:05 pm in this case. I am new to both mp3tag and regex but i have the vague idea that i could extract this information from the filename and save them into YEAR and RELEASETIME tags via regex.
Please save me from having to do this manually for almost 600 files!

Create an action of the type "Format value" or use Convert>Tag-Tag for RELEASETIME
Format string: $regexp(%_filename%,VID_(\d\d\d\d)(\d\d)(\d\d)_(\d\d)(\d\d)(\d\d),$1-$2-$3T$4:$5:$6)

To fill YEAR use the same function this time for YEAR with
Format string: $num(%releasetime%,4)

From the official ID3 documentation about the timestamp format,
Section "4. ID3v2 frame overview":
...


...

To be searchable in this forum:

The timestamp fields are based on a subset of ISO 8601. When being as precise as possible the format of a time string is
yyyy-MM-ddTHH:mm:ss
(year, "-", month, "-", day, "T", hour (out of 24), ":", minutes, ":", seconds), but the precision may be reduced by removing as many time indicators as wanted.
Hence valid timestamps are
yyyy
yyyy-MM
yyyy-MM-dd
yyyy-MM-ddTHH
yyyy-MM-ddTHH:mm
and
yyyy-MM-ddTHH:mm:ss
All time stamps are UTC. For durations, use the slash character as described in 8601, and for multiple non-contiguous dates, use multiple strings, if allowed by the frame definition.

Thanks this is exactly what I needed