‘Fighting shape’: Florida EDGE rushers took up boxing this summer