Buddy has a stock motor supercharged 5.0 mustang and wants to know what oil to run in it. It's driven sometimes in the summer during summer heat here in Vegas and is driven hard when used. He just got it and has no idea what previous owner used. Any suggestions?