do not even try to patch as it is unlikely to be successful,and if the
rodent does come back and gnaws the hole bigger you are in real ****
,especially if he does it when you are out.

Get the tank replaced and by all means lay bait.You do not want the damage
that can be caused by all that water this side xmas.

Your house insurance may cover the damage,but you will need to check your
cover