Neil wrote:
[...]
Any idea whether this looks rodent-caused? and perhaps more importantly
whether the tank should be replaced in a situation like this, or whether
I could just get some gungy stuff to fill the hole? (maybe even while
full of water?)

One rodent down...chocolate does seem to work, even mint chocolate

--
Neil