I think I am correct on this. They haven't been on ebay for a while but isn't there a box of these? The buyer should beware... $175 is a lot for a hotstamp arodie that has 100 known.
Mike