I'd never really thought about it before, but maybe those people paying $3000 for AR's back in January were ATF?!?!