If you can get shares in a DRP at 12.5c but need some cash, why not take all your shares in DRP and sell a few on market. That I suspect is what they have done. Maybe someone should call them to find out?