Achieving 80 mph in a streamliner/recumbent bicycle is quite a feat, indeed. I haven't seen any power numbers, but just a SWAG that he might have been able to maintain something on the high side of 1,000 watts for the timed portion of the run.
Big-Time power!
Steve.