Just got a flier from our local big box home improvement store. They are advertising Sikkens Cetol SRD for $29.95 per GALLON. A quart of regular "marine" Cetol runs, what, $39.95 on sale at most marine stores? My question is whether there is a difference between the two Cetol products. Thanks!