RDX600D port/lens combination

[gbrdiver]

Hi, I've got a RDX600D with std port (30108) and CX Dome (46100). Before I even used it once, the EF15 f2.8 fisheye lens came to grief. Turns out this is a difficult lens to find as the EF15 f4 has replaced it. Will the F4 fisheye lens fit this combo or do I need a new port? Which one?

Thanks.

 

[gbrdiver]

OK, turns out the new f4 fisheye fits nicely with this combo despite being a slightly larger lens.