sms wrote, on Sat, 31 May 2014 07:34:45 -0700:

The way the real estate market is where Denny and I live a buyer would
never dare to say anything like that. There will be fifty other buyers
offering a cash deal and taking the house as-is. $10K to demolish the
pool would be a cost that would be lost in the noise.

Heh heh ... I agree with you.

A guy nearby bought a house here and put in $700K of renovations just to
make the place livable!