Yes, at a 30% discount. Seems like Benchmark is pursuing other options to avoid selling at a lower price (although with a huge return on their investment regardless).