Replace/override default Ocean WP search with this one

Hi, is there a way to override the default search on Ocean WP with this one?

It’ll be better than placing this in random places with shortcode.

I took a look in the forums but the following post is almost 2 years old and I’m not sure if it works:

https://www.ads-software.com/support/topic/how-to-replace-the-default-search-of-oceanwp-with-ajax-search-for-woocommerce/

Thank you

The page I need help with: [log in to see the link]