kevin from the office as ironman and michael from the office as thor