Would it be beneficial to mine on their own devices? Hell yes! More than just selling them.
Actually that line of thinking is not entirely correct. They are making tangible guaranteed money right now by selling them.
However, I'd bet anything they are doing both. Mining a bit, and selling.
Those who supplied the miners during the gold rush made the most money.