Yes- thats correct. But as we said- the OTMs on the June 28th trade were 0 (no trades happened) so the credit may not have been as much as $9.75 and it would be more like $8 or $8.5