Zalman 9 is not designed for water colling AIO on top that's why it doesn't fit. Phanteks Pro is designed with radiators in mind, and all radiators are standardized so there is no way it won't fit. That's why case manufacturers don't write anything about clearance - it's standard, only size that metters is concerning two or three fans 120 or 140mm