I think you could just touch in with touch up pen, wait for it to harden, then flat back, do again etc until it is perfect...shouldn’t take a lot to do.
Use a block and maybe 3000 wet and dry with soapy water and don’t push hard, then polish back up.