“Raspberry Pi has sold approximately 60 million units at a price of about $35 each.”