Those are solid mile reps.
I've been doing 7 in around 5:40 - 5:45, with 2mins rest, although if i do 3 to 5 i can average around 5:30 or perhaps a little below on a good day.
Not doing a 4 mile block straight after though.
Its very different, but i'd imagine with those times you'd be capable...