It sounded like the purchase of the 5 Pi400s ended up being covered by the library system, but the guy teaching still provided his time and curriculum. I'd imagine getting budget approval for $500 in hardware is a lot easier than getting it for labor. It's good that the library had people there willing to work the system to help make this happen.