Diesel, straight out of the corner pump will be fine for your engines. There is no difference in marine diesel other than dye which indicates no over the road taxes have been paid.
On a related issue, I watched a movie last night made about five years ago. There was a fleeting glimpse of a gas station from that era that showed gas at $1.75 per gallon and diesel at $1.25 or $1.50 per gallon, can't remember which. Today it is just the opposite with diesel pump prices at least $.50 per gallon and often $.75 per gallon higher than gas. I worked in the refining industry and diesel at current specs costs little if any difference to make.
As another data point, about 2-3 years ago when Valero stopped publishing them, Gulf coast diesel prices ranged from 25 cents more to 12 cents less per gallon than gasoline at the refinery gate depending on the season. This was data Valero gleaned from public, respected sources like Platts Oilgram.
So over the last 5 years diesel has gone up almost a dollar a gallon vs gas at the pump. Taxes if anything have gone up for gasoline but not for diesel.
What gives? Someone is ripping us off, I suspect!!!
David