Boletos virginia tech hokies vs duke blue devils football (october 13, 2012)