We try to find back Berumondo's PB.

We found this archive that states his 17:15.260 on 2017 may 9

http://web.archive.org/web/20170819121333/https://www.speedrun.com/1001_spikes/gamestats

But I'm not sure that this is actually his PB, and I would like to find the video if possible, but that looks impossible as his youtube account is deleted now.

If somebody can find a trace of that ? maybe doubletaco in a stream of the time you were competing together ?