A fully edited tribute video will be available in a few days, to view or download at the discretion of the family. This will include some or all of the following: Coverage of the arrival and departure, multiple camera angles, close-up views of speakers and original recordings of commercial music, as played during the service.
In the meantime, here is a link to a recording of the live stream, for those who may have missed it.