Probably, but it would be for quality of life.
Them again, I could see him doing it and rehabbing just to prove the haters. He doesnt need to throw 95+ to be effective. His slider, curve, and change would be good enough to keep him as an effective pitcher for a while.
Surgery and then a year of rehab- I don’t see him coming back at that age whether or not he wants to