If I had to guess, they run a 1500m and called it a mile (since the 1500m is the Olympic standard event they run in college). That'd put Ben at around 4:40 or so for a mile, which seems reasonable, still impressive for his size, but not outlandish.
Source: 4:35 mile personal best