I wonder if they actually licensed that music for use in that video? If my ear is correct it's The Bad Plus. I hope they did license it.