There are a ton of varieties and i do believe there are some that are smaller. i wasn't here when those first trees were planted so i am not sure if they are dwarfs.

i know a local rancher who has a lot of trees and have talked to him about coming over to show us pruning techniques.