It's not that hard to compute the probability either wins by any possible score.
Player one can win 11-0 by the probability
where p is the probability that the server wins.
Then it gets a bit more complicated when it's 11-1, but I'm sure Sorobanned would have fun with that.
You have two choices of when that one point was won by player 2.
But that's not too rough.