HMC439 and HMC3716 spice models

Dear RF experts,

I would need spice models of the PFD chips HMC439 and 3716 to simulate transient behavior of my wideband PLL, including nonlinearities from loop filter and VCO. Do you happen to have these models available?

Many thanks and regards,

Anh