Max power output of 5V pin of Arduino Uno

Hi all, I looked around the forum and couldn't find an answer to this question, so here it is : What is the maximum power output of the 5V pin on the Arduino Uno board?

800mA less what the USB chip, the ATMega328 chip, the comparator chip, the power LED etc, are using.