I understand your explanation and hope this is indeed the case.  On a personal level, I had a 24,000 btu split AC system installed in my house 25 years ago, and it still works great.  It cools the bottom floor which has about the same square footage as a typical classroom.  It cost me $3000 back then.  I was looking into newer efficient models and can get the same sized one installed for about $4500.  If I want the solar Lezeti AC, it will cost me about $6500.  For $77,000, I can install Lezeti solar ACs for a dozen of my neighbors.....or one DOE classroom.