The Virginia Tech indoor football practice facility, built in 2015, didn’t come with something that would seem to be a basic ...