Porsche is buying a full 50 percent of Red Bull Racing, according to official document filings. It is well known…