I was wondering how much coal-produced electricity it takes to produce the hydrogen.
It takes at least as much electricity to produce hydrogen as it yields by burning it. But nothing is 100% efficient, so I would guess it takes about twice as much.
Not much, industrially, hydrogen is produced from natural gas.
I take that back, it takes a bit of coal fired electricity to cram hydrogen into high pressure containers. Quit a bit actually.