According to its Amazon listing, the Antminer S9 consumes 1247 watts at the wall. Assuming he ran it 24/7, over a year he would consume about 11,000 kWh, or about $1,300 at the average U.S. electricity price of $0.12/kWh. Without knowing how much he was paying for power of course we can't know exactly how much he spent, but this certainly doesn't seem like a slam-dunk win, compared to just buying Bitcoins outright.
And indeed, it couldn't possibly. The EMH almost guarantees that hobby mining can't be profitable once the coin is popular enough.