Thanks for the reply. Looks good but I think mine is maybe too deep to be classed as a scratch, the edge is quite uneven.
I'm considering just leaving for a month or so and keeping an eye on it. As I said, cosmetically it doesn't bother me, but I'm nervous in case it worsens with moisture...