I did search but didn't see that thread which mentions stain marks. So many thanks Colin for spotting and replying.
I haven't heard any water sloshing around but it's a simple job to drill the holes and worth doing anyway just in case and for the future.
Presumably there must be holes where the mastic is to let the water in there in the first place.