if manuals were only 5% then that would mean there was 100,000 535i's produced? does that seem high?