We download .LAZ LiDAR files from KyGeoPortal and then use the LASZip executable from laszip.org to convert them into the .LAS format required by ArcMap.