I see the instructions for flashing ti over serial, http://www.gumstix.net/Documentation/view/Developer-how-to-s/Reflashing-using-a-serial-connection/109.html
but the pages for other methods seem to have broken links
Also are the directions for the Verdex Pro the same for the verdex? 
Can I use the OE build on the verdex?
Whats the difference between the verdex and the verdex pro?
"In the beginner's mind there are many possibilities. In the expert's mind there are few."
-Shunryu Suzuki