We weren’t sure what a gypsum sinkhole was, but now we’re glad we checked it out.