SOLVED. I modified global_codec_prefs=G772,PCMU,PCMA,GSM and now the phones don't barf trying to negotiate codecs they don't understand. I made an note on the interop wiki with an entry for that phone in case anyone else in the world has one.