The bill from the Pikes Peak Library District in El Paso County wasn’t $25,000. It was $25 million. More precisely, it was $25,377,971.43.