If that is true then we should see the PR removed from their ticker symbol sometime this week. If it stays, then i would say they know of us.