Doing my first oil change on EX3200 today. Did a filter look up on Wix then crossed it over to a Bosch (O'Reilly's had Bosch on sale). Came up with Bosch 3312 oil filter. Anyone know if this is correct? When I change it, I will do a close inspection. Oddly, this filter is used for 1982...