All of which is a long-winded way of saying that music does matter for productivity, but which exact songs work best is ...