WR is probably 8:47 by Void. Being able to get the checkpoint before star 1 should save time over that, so maybe I'll grind more.