Verona already has Luca Spirito under a valid contract, who's been a starter for this team for four years now. Btw. Serbian MB Uros Nikolic is rumored to play there next year. And you're correct that Milano has no space for a foreign setter, that's a reason why, with Chinenyeze, Jaeschke, Patry and Ishikawa already signed, they agreed to sell Sbertoli to Trentino under a condition that they find a local setter prior to that, and they've done it by securing youngster Porro.
It goes like that:
Perugia: Giannelli - Travica
Civitanova: De Cecco - Sottile
Trentino: Sbertoli - Sperotto
Monza: Orduna - Calligaro
Vibo: Saitta - ? (no limits for a foreigner)
Piacenza: Brizard - Pujol
Modena: Bruno - Salsi
Milano: Porro - ? (no limits for a foreigner)
Verona: Spirito - ? (no limits for a foreigner)
Ravenna: ? - Peslac
Padova: ? - ?
Cisterna: Baranowicz - ? (no limits for a foreigner)
Taranto: Falaschi - Pellegrino
Btw. with Raphael the level of setters within Italian league would be spectacular.
I have no idea what Thales will do, normally finding a club for a libero outside of his local league is really troublesome considering most leagues have limits of number of foreigners, the use of which doesn't make sense in context of a libero. France is a difference in that regard, that's a reason why a lot of Brazilians and Argentinians have moved there past few season, but right now it's July, most teams on some respectable level have rosters already sealed.