asterisk users - Aug 2007 - Mitel 5020 IP phones

Hi:

I've got a dozen Mitel 5020 IP sets and can't find out if they do SIP,
or even find an administrator's manual for them. Mitel has been rather
unhelpful. They only deal with "partner resellers."

Has anybody used these with Asterisk?

-Stephen-