Any pole the right diameter will be fine , you may have to cut it to fit. sometimes they are longer than you need. A bit of masking tape, mark wher you need to cut and saw it with a junior hacksaw. sand off any sharp bits with sandpaper and rethread the elastic.
The pole doesn't need to be vango brand, but you can get vango packs of poles at most camping shops, here for example .
Your local camping shop may even sell them in single sections if you don't want a pack. £2-3.00 each. But its always worth having spares , cut to size ready .
A great bit of kit to have on standby is Tenacious tape, fixes any holes in flysheet instantly. , but if you onluy have little snag holes in the pole sleeves , you should be fine.