I swear by CRC as well and yeah I would say CRC Marine is probably better but the normal stuff is fine.  I believe that CRC is diesel based whereas WD-40 is water based - that what I was told many moons ago anyway and I have never been able to get it confirmed or denied.