At 2299 it seems like a good deal for somebody if it goes for that. Are these higher in height when folded down with the legs off than a normal williams pin? I want to get one of these some day, but not right now and want to know for future reference.