Presumably a sheilah was asked. It’s a major Kiddush Hashem that we are willing to put so much money, time and effort into this!
It makes me feel very guilty about the time I borrowed someone’s Chumash at a barbecue and placed it in a bag that someone apparently accidentally threw out. I didn’t realize that there was anything I could do about it.