Would these cars have been sold in England with service manuals produced in English?