I wanted to thank IdiotInCharge for cuing me in to these in another thread (which I don't want to pull off topic anymore than I already have)
They are original pre-HPE MAS Aruba switches.
I just ordered mine, $125 on eBay, with a 1 year warranty included at no added cost. Seems like A LOT of...