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.