A variation on number 2: Keep living in the house. Use the equity as deposits on further high yielding IPs, giving you a retirement income stream later.
Option one could be attractive if it was a family home and the kids have all left. Don't like option three.
I guess we have heard...