How many 1972 340 Dusters in TX9 (black) out there?

Few from facebook and one from ebay.
The nice one was on ebay for 45k a couple years back, not sure what it sold for.