Got a gun I'm going to be selling soon, but I don't really know to much about it. I guess I'm just trying to figure out the pneumatics on it and is it a Mini or Auto? Serial number 4021. The gun is in mint condition, I did try firing it and it does need to be timed. It's like it shoots when I release the trigger. Any ideas of value would be great too. Thanks guys.