I looked into it and I can't seem to find a way to contact this user and I also cannot find their times on the steam leaderboards. I'll discuss with the other mods.