Steve,
Maybe I misunderstood about the number of keel cooled NL’s but what he told me is that the installers pull the heat exchanger tubes out of the generators and run them with coolant. I think the spare heat exchangers were called “pull outs” in the trade and that is why they are available...