It depends where you are in your investment journey.
If you are at the end sure pay down the IP.
If you are younger you could buy 2 more IP's with the money.
eg
Pay down the IP ( value $400k) and in 10 years you have a property worth $800K (assuming doubling every 10 years) ($400K clear)
Buy...