thanks for that. They trade publiccly and have been mentioned many times in filings at 11.50 strike price but we all know we are not smarter than the market and there is a twist in the tale such as they are not really priced and if they are not priced how in the he;; do they trade?
Market Data 
Markets 
AI
