There is video on youtube, not labelled as a speedrun, but with what seems like a time of about 15:57, which would make it faster than the current 1st place time