Yes, that's the absolute norm (you often also want to cool the exhaust pipe itself and there you often see coolant water pumped straight into the exhaust). That's the obvious thing to do: You do have a huge reservoir of readily available coolant, tapping it is the sensible thing to do :) That's why I fully expect them to run their coolant through some heat exchange with sea water.
reply