Ditto. Interestingly, Gruber thinks that it was underpriced: https://twitter.com/gruber/status/767918392342818816