Is thunderbolt to hdmi an option for mid 2011 mac mini monitor