How many Redline shares are issued and outstanding?