Sorry for all the e-mail... If I turn off the jitter buffer that I had set in the dialplan extension for that provider, DTMF is correctly sent and detected by the other side. I suspect a bug, but maybe this is the desired behaviour.