Remote Tech Support: The Challenges of Turning 30 Minutes of Diagnostics into a Short Video