Yeah, the 7.5mm is the circular fisheye. The 15mm is the biggest rectangular crop of a fisheye circle. And all the rest are rectilinear, even the smaller-focal-length 14mm and most certainly the 17mm. See the example shots in my chart above.

Duncan