Is the prs stock sold?