Gantry Extras Menu

Hello Community,

I have tried time and time again to change the Gantry Extras menu title on our website but to no avail.
I have tried editing the .php’s the roksproket menu item and even adding a new menu and deleting the old menu. Upon deleting the menu it messed up the other menu that is on the side bar.

I also cannot seem to rename the other menu either! I have tried doing a variety of things to rename it as well.

So my question is how do you rename the following menus:
Gantry Extras
Quick Menu

I have added an image below of the 2 menus I am speaking of.
http://puu.sh/7q5d9.png

Also in the image there is a section named “Top Features”, if anyone could tell me where this section if located that would be greatly appreciated.

Thank you for taking the time to read my post!

Regards,
Jess

Edit: I’m using Version 3.8.1 of WordPress and Leviathan Theme v1.0 !
http://www.rockettheme.com/wordpress/themes/leviathan

https://wordpress.org/plugins/post/