There are actually more manual sedans than I suspected