Thank you, everyone.

I do indeed have a 9 stud roof, and know how to tuck the bolster. It's usually ok, but, as you saw, this was some exceptional rain.

I think the extra sealing strip is the way to go, and have ordered some online. :-)