A sandstone block worth about $8000 is cut and exported to the mainland