I think so, all I know is they didn't see the puck cross the goal line but guessed that it did because the goalie was pushed across the line. then used the camera behind the Michigan goalie to review the play to see it the puck crossed the line.
I'm sure gfhockey knows the whole story.