For Polini gear/clutch oil, what could a guy use from a local auto parts store as a less expensive alternitive?