So I recently picked up this super cool vintage Astro tabletop pinball. I know this isn't a 'real' machine but I wanted to know if pinball playfield plastic refinishing techniques (i.e. Novus) would work for something like this. The scratches are not very deep but definitely noticeable. See photo. Thanks!