Aruba was bought by HP.
So some of the switches are former HP.
The original Aruba line are.
\
The prices are from google and subject to change every day.
So please reach out to confirm.
Thank you and if you have any questions let me know.