It's very encouraging to see these older ASIC have good resale value. Glad you could sell them. Glad they are still useful. It bodes well for the rest of the mining industry. Would you mind sharing what they sold at? Or maybe just a range??