I saw a couple people on r/diypedals post about it, and one guy specifically said they bought 10 from him at “dealer prices”Did they buy them? I was under the impression it was more of a "hey you got anything laying around you could give us?" or maybe some compensation, but not just flat out buying other makers' pedals and adding them or stuff like that.