VXLAN and the Service Provider