Seems I was wro+ng, and o+verestimated his typing speed. I guessed 20 minutes. He to+o+k a little under 3 and a half ho+urs.
