Investing in a holiday house