At work, we have often had this debate, we get surpiled 15w40 mineral oil by a rental company for servicing their vehicles, but the customer who uses them give us 10w40 fully synthetic to top them up with. we have mentioned that it doesn't sound like a good idea, but as usealy they don't listen...