You can use 15W40 on the international 9400i if there are no specific requirements. In case the PS reservoir cap mentions a particular fluid, it's better to go for that.