They probably paying a tenth of that as big edu users. What you quote are the commercial starting price for a basic-ish license.