On the HHI link posted above (thanks, btw, I had missed that one!), I knew that they weren't going with #1 because I stayed across the street and it was still on the market when I was there (but only 560,000 euro). I've tried to rent it myself (it's on air bnb), but it's never been available on the dates we need.