How many #coldcard collectors are there? What’s the going rate for a "functional" mk1 ?