Floor Display Denon AVR X3800

My local Best Buy has a floor display X3800 for sale and they are willing to sell it at $1035. Has the remote and power cable but missing setup mic and antennas.

Thoughts on this purchase? Could I use the setup mic from an older Denon on this?