Agree that it’s probably a non-issue.
But even if it was an issue, it would probably be cheaper to install washing machines that will heat the water to whatever temperature is selected. Many can do that.
Rather than any massive building hot water systems installation.