Not sure I would bother with halving so close to happening and how long shipping would take.  But yeah it's here and on Bitmains site.  It is using the new 16nm chipset though so it is their next gen.  Oh yeah almost forgot the price.  Price: 2100 USD or 3.92 BTC

ANTMINER S9 First Batch - Shipping starts from 12 June

S9 Specifications:

1. Hash Rate: 14.0TH/s ±5%

2. Power Consumption: 1375W + 7% (at the wall, with APW3 ,93% efficiency, 25C ambient temp)

3. Power Efficiency: 0.098 J/GH + 7%(at the wall, with APW3 93% efficiency, 25°C ambient temp)

4. Rated Voltage: 11.60 ~13.00V

5. Chip quantity per unit: 189x BM1387

6. Dimensions: 350mm(L)*135mm(W)*158mm(H)

7. Cooling: 2x 12038 fan

8. Operating Temperature: 0 °C to 40 °C

9. Network Connection: Ethernet

10. Default Frequency: 650M