Best Korean player on IGS - "V7", 8-dan. Is he professional?

This game is few months old.
Black: Alexey Lazarev, 6-dan on IGS - "lazer" W3084-L2749
White: V7, 9-dan (currently 8-dan on IGS), W895-L617

According to IGS rating system, V7 is currently IGS ranking #4 and the best one from Korea.

I checked the game and I think, that he is not a professional. Yes, he is quite strong, but Korean professionals are usually fights more actively, if they are behind. V7 lost 8 points only - but he did not have any chances in that game at all.