This was mentioned briefly as part of an earlier post, but it seems to have
gone unnoticed: Roof it over and convert it into an underground shop or
storage space. The roof could be put several inches below grade, so it can
be planted over, if they so desire.

Another idea: trade houses with the neighbor, and you'll have a swimming
pool. G