I'm looking at buying a Mini to use as a HTPC. Im planning on using it to play movies and shows (up to 1080p MKVs) as well as web browsing and some light gaming like simcity 4 on my 46" LCD. Currently, I have a Synology diskstation 107e with 1TB storage which I use to store all my music, movies, general backup, and to play movies I use my Xbox. However, the formats that the Xbox can play are quite restricting. That said, will the base mini be enough to decode 1080p MKV files smoothly?or will I need the quad i7 for that?