He's right about this one though. Without making this way to long and detailed, even though we list them all as "DL", we typically have different types of guys in different roles. Kinda like XL, XXL, and XXXL dudes. The XL's are typically 280-295, but that's not a hard and fast rule, who play in our 3 DL alignment on the opposite side from the Jack and they can kinda be edge players if the offense formation flips and we can't flip the Jack over. Then the other two XXL, and XXXL are more interior 'purists' who are more like DTs in a 4 man line.
Burroughs was an XXL/XXXL, while Justin is more of an XL.
Think back to when we had Robinson, Reed and Allen as the starting DL. All very good and pretty versatile, but were not 100% interchangeable parts along the front. Allen was 20 at graduation, and was the XL. the other two were the bigger of the 3.