How do you get from East Texas to Vera Cruz in 12 Minutes?