https://garage.wiki/bmw/7-series/second-generation-e32/1988/service-intervals.html