OK, I was skeptical of BigBoats 420W ceiling until I just looked up the world hour record and power estimates in the Kyle-Bassett paper in "High Tech Cycling"
They adjust to sea-level equivalent power for all the altitude efforts. The highest value pre-EPO was Merckx at 429W. Post EPO we have...