We have in fact released a new Sofia Car Rental MVC example, that is part of the SDK, just start the application, go to Samples and then choose the ASP.NET MVC category. This will filter the list of examples to only four, there should be an entry called "Sofia Car Rental MVC example". If either the category is missing or the example is not there this means that you have an old version of the SDK. Please download the latest SDK from http://www.telerik.com/products/orm/sdk.aspx.
Can you please share with us whether and where did you download the SDK from?
I hope this is helpful.
the Telerik team