Looking at the sizes of the buys that went through today, I don't think this was retail that was buying. In particular the big buy at 2:51:22pm: