Jopar,
Thanks for your very helpful advice. I haven't got anywhere near working out who would pay for a broken pump yet. If it was a criminal act, then the person arrested would have the criminal damage charge added to any other charges. If it was an accident and due to police activity, the...