This is the answer to the question What roof covering to choose for the patio: glass, polycarbonate?
Definitely VGA glass 9mm.