It is possible that Pro/Engineer could export its own layout files (.lay) as common DXF CAD files, which is what lay to dxf conversion most likely is. Unfortunately, we do not have exact information about the exact procedure but it is likely it was done using the default save/export function.
Open LAY file Open DXF file