Fully with Richard (and most other posters) on this one.
I have sometimes sold IP's in the past and used those proceeds to reduce my PPOR debt, because I like to see it moving down. That technique could be argued for and against ad nauseum here (so please don't), however I would tell your 3...