expensive but not prohibitively so? https://www.aliexpress.us/item/3256807859212052.html https://www.servethehome.com/finally-a-cheap-8-port-10gbase-...

You can also get enterprise C3850 with 10G ports for ~100$, but they will be loud and power hungry.