4 ms·

I think the assumption is that Earth power is much cheaper than lunar, so the inefficiency doesn't matter.