I have now run DiskUtility and also TechToolPro. Both report no problems whatsoever.