if most of us don't bother to check then that makes OP's post an even more useful tip for home buyers.

It also may be included in more disclosure requests these days as people hear of situations like this.