aight i was paintballing last night and the guy who worked there was playing and he had this really nice gun.... im pretty sure it was an autococker..... but are auto cockers those guns with the little swith above the trigger that makes it so u barely have to pull it to make it fire?? and if this is all true whats the price on a fairly good auto cocker for a 14yr old kid living on $20 allowence a week? and if it is not true then what is it and whats a good proce on those?