Are the main engines cooled by liquid hydrogen, or by a mixture of water and something else? I am pretty sure that they use hydrogen bled off before injection, but a guy here at work seems to think otherwise.