Here's a simple question I hope. The AREDN bandplan for 5ghz shows channels 171-184 (5,855-5,920) but when I look at the spec sheets for Mikrotik and Ubiquiti hardware I see the following operating frequencies listed.
Mikrotik
International: 5150 - 5875 MHz
Ubiquiti
5470 - 5600, 5650 - 5725, 5725 - 5850