[Theme: Realtor] Editing phone number directly under main menu

I need to edit the phone number directly underneath the Main Menu. But I can not find it anywhere in the dashboard/settings of the site.

https://www.mmdevre.com/

Things I have already done to trouble-shoot this issue:

1. Again, searched the whole site through the dashboard/settings for the single number and could not find it.
2. Went into the backend through the ftp server and messed around with the php and wasn’t successful
3. Inspected the elements to try to see where the number came from in wordpress and wasn’t successful

Here is a link to the theme on themeforest: Realtor Theme

Let me know if any other information is needed.

Any help would be greatly appreciated!

Thanks,
applestopears