Oil question

Hello to all, new to John Deere and new to this forum. Purchased a 850i today, 2012 year model with only 36 hours, 250 miles. Bought it from an auction house, they had no idea on history. Runs great, looks like new. What motor oil does everyone use? It came with owners manual, saw recommended oil is John Deere synthetic 0-40. Anyone using dino oil?

Thanks,
granky