Perfect.  These files (and the seds) now seem to have a much better density of points, and if anyone wants more precision for some reason, they know where to get the originals.