A lot less hassle and a lot lot cheaper though possibly not as good in the long run... fresh 12.5w oil (made by mixing 10 and 15 grade togeather) and play with the amounts a little bit.
_________________
Please do not PM me technical questions, if you can't find it on the Forum start a thread