Buying Power is separate from holdings and is update instantly. The value of an option position is not added to the buying power.
My guess he had about $16,000 cash for buying power, plus the margin.
$16,000 x 3 = $48,000
He is assigned about $777,000 worth of AMZN stock.
$777,000 - $48,000 =...