I am trying to find out what oil I need for my 2006 Murcielago. The book calls for Castrol TXT 5w40 which is not widely used in the US. Can someone please tell me what to use. I'm not even sure if it calls for a synthetic or not. I appreciate any help.