Anybody tried to make Allworx phones work with Asterisk

Ripping out an Allworx phone system and putting FreePBX in.
Can Allworx phones be made to work with Asterisk?

A cursory examination makes them sound like a SIP phone, but there’s little in the way of proof of that in the available literature.