I am a nerdy blue collar electrician and that was incredibly interesting. Only 0.002kWH from that beast of a cyclist.
I would suspect my equivalency to be about 1/3rd a Robert [unit of measure from vidlink].
I'm sure he could have generated way more total energy if he wasn't trying to get get that max power.
I'm sure he could have generated way more total energy if he wasn't trying to get get that max power.