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-