What's the probability that two stars collide when galaxies collide? [with equations!]