When did Redline become a public company?