(How tall is Austin?)