What was the OEM car cover for a 1978 308GTS? Was it the standard satin stretch cover that comes with the new generation cars?