Does anyone know what is a size of the diameter of a good pole to use? I have some tent poles the 1/2 inch size of the ferrule is too tight of a fit for the pole pocket. Walmart has some around 3/8 inch but I also found some smaller ones and a jr. camping tent. I don't want the pole to fail.