Oh cool, I've used his Rush Hour solver before! Small world.