In my experience, it's very difficult to find the Texaco or Havoline antifreeze specified by Yanmar
. As you say, the recommendation is very old. Now there are other brands that will work
just as well. Search this forum and BoatDiesel. You'll find a lot of suggestions. Yes, it is a 50/50 mix, assuming you don't get premixed antifreeze.