Repair it for how much? Why not buy a newer but not so new OnePlus instead? e.g. OnePlus 9

I had a 6T, used it for almost 4 years, and then it became laggy with bad battery life, so I recently upgraded to a 9