I think this is the very same job they filmed for the criminally under-appreciated Worlds Toughest Fixes. Interested persons with an extra $2 can watch a detailed-step-by-step documentary of this very job here:
[0] https://www.youtube.com/show/SCuCu3O5ATBHFcvv94RsRQWg?season...