Slush pool workers. .