Not WR, I know JSR (2gamers1nerd) has an 8:16 that he hasn't yet submitted. Lots of room for improvement still. I messed a couple of the later levels pretty hard. At least RNG for 17 was nice.