If it's not already too late, maybe skip the WD-40. It doesn't provide long term lubrication, and will get sticky and cause debris to cling.
If you already hit it with WD-40 . . . don't worry about it, it'll be fine.
Either way, nice job supporting your son as he explores a new hobby.