So they've stopped suppressing price. It's going to be interesting to see if volume picks up this afternoon. For the record, at 12:45 Eastern, volume is 78,410