PE = M g h
This website [1] shows several sources. The range of estimated power outputs is between 1W and 5W.
https://hypertextbook.com/facts/2003/IradaMuslumova.shtml
OP hypothesis seems to be correct.
Reply on news.ycombinator.com