Yes, they are. It will be sold at some point.

— John Keim (@john_keim) March 27, 2023