I don't think it will matter, it will take people a long time to forget about this. Exon kept the name, so I'd say no, changing the name will look like they are skipping on their responsibility, proper positive
PR will do a better job than for them than a name change IMO