The match was filmed by Dr_at_Home, grab it here:

KOD vs HGE HD.wmv

(6 mins 37 secs, 1152x720, 150 MB, .wmv format)