The entire house could have been jacked up and the basement replaced for less than that!
Not sure what the total cost was, but it did include a new lengthy concrete driveway as well