Hello! One of the cleaners that we hired seems to have scratched the bottom of the toilet bowl (using a metal tool) while cleaning. See photo below:

Is this still fixable? I was looking at porcelain repair kits but I'm not sure which one to use. Thanks!