I want to know the answer to the following question:
In what year was Devil May Cry 4 added to the budget game offerings for PS3?
All the background I'm provided with is that "As of October 2009 Metal Gear Solid 4: Guns of the Patriots, Ratchet & Clank Future: Tools of Destruction, Devil May". Is that enough to answer the question?