“The portafilter is broken. Is there any way to get the replacement or buy a third-party portafilter? What size in mm is it and what's the thickness of the prongs?”