I have seen people using crayons to color fill their 15-22's and then they use gun oil or nail polish remover to wipe it down and remove the excess. Was wondering if i could use WD40 for the wipe down? Not sure if it will harm the polymer at all. Thanks in advance.