Likely, as it was the library that bought them they had to buy via a pre-vetted supplier. Also, if you bought from eBay I'd be quite surprised if your overall t

Likely, as it was the library that bought them they had to buy via a pre-vetted supplier. Also, if you bought from eBay I'd be quite surprised if your overall time costs didn't multiply. There's something to be said for the Pi's ability to work right out the box without having to do any additional OS configuration.