We’ve had this question before (slightly differently).
And I feel a bit let down about the Venn diagrams. Clearly you were able to use Bayesian formulas to solve the problem, but I wanted to see the diagrams (for two reasons: I have no idea how you would get them into a post and because I have no idea how you could use them to solve the problem)