Let me throw this out there,
WD-40 IMHO is not the best choice for cleaning sharpening stones. It works but, there's a potential downside to using WD for this purpose that we should be aware of.
WD-40 is a great lubricant/rust preventitive for metal surfaces because when it drys a very thin film drys and hardens to form a moisture barrier on whatever it's used on. This is great for guns, fishing reels, auto use etc. But, not so great for sharpening stones. If the stone is not completely clean of metal particles, as the WD drys it can lock these particles into the pores of the stone, and repeated use can result in a very difficult to remove build up of metal and WD. In other words after cleaning the metal particles out of a sharpening stone with WD-40 we need to clean the WD out too. I prefer to use CRC "Screwloose", Liquid Wrench, or other penetrating oils because they're formulated to break down rust rather than prevent it by forming a barrier. Carburator cleaner is probably the best choice because it evaporates completely leaving nothing behind. JMO,
Ron