For server scratches I would use various grades of wet and dry paper, finishing with a high grit wet and dry. Then use some polish suitable for use on plastic. If the scratches are only minor, just...