i have seen ownership manuals for 50s and 60s sedans and sports cars with A vinyl booket sleeve - the manuals front and back page tucked into it. The cover is either blue green or red with gold jaguar wings on the front - does anyone know which color is correct for which model jaguar, or did it not matter? Perhaps they were interchangeable - like most of the generic parts were in general? Thank you!