Is there really a mate in 9 ?

Ed Trice claims at his page: http://www.gothicchess.com/gv_release.html , that there would be a mate in 9 moves to be found by his Vortex in the shown position. But is this really true?

P.S.: of course, that old SMIRF version has no more chance there to avoid a defeat. Vortex detects the correct key move. But it would be nice to see how the 9 move mate should look like.