Those are PS4s not PS4 Pros, two parallelepipeds instead of three. Don't even know where this misconception comes from. All articles about this case were wondering why they were using PS4s for mining not even PS4 Pros.