For the final thing, formatting the date/time, I think the tip at Tip - 'format' and time/date may be helpful.
(It may help in coding examples to know you’re searching for RFC-2282 time format, which was established in 2001 for the time format of email messages https://www.ietf.org/rfc/rfc2822.txt )
The post I have linked above has a few examples of different formats, but what I think you might be asking for is
q: (format "{0}-{1}-{2} {3}:{4}:{5}" + year of item 1 of it as string + month of item 1 of it as two digits as string + day_of_month of item 1 of it as two digits as string + two digit hour of item 0 of it + two digit minute of item 0 of it + two digit second of item 0 of it) of (time (universal time zone) of it, date (universal time zone) of it) of time ("Mon, 05 Feb 2024 20:21:35 +0000")
A: 2024-02-05 20:21:35
To retrieve that from the ‘last report time’ property, we have to cast the result as time, run this ‘format’ against the time, and then convert it back to a string to build the concatenation. For that one field you’d change it to
(concatenation ";" of (it as string) of (format "{0}-{1}-{2} {3}:{4}:{5}" + year of item 1 of it as string + month of item 1 of it as two digits as string + day_of_month of item 1 of it as two digits as string + two digit hour of item 0 of it + two digit minute of item 0 of it + two digit second of item 0 of it) of (time (universal time zone) of it, date (universal time zone) of it) of (it as time) of values of results (item 0 of it, elements of item 4 of it))