For what it's worth, prices appear to be down. A Group Industries Uzi I was watching went for just over $10K on GunBroker. A year ago, it would have fetched $12K easily. OTOH, it is the holidays, people are a bit short on cash after Christmas shopping. The highest prices seem to be in the early Spring, when people get tax refund checks.