No problem: if this affects anyone else I’ve turned off the mobile menu search and replaced it with a menu redirect to the search results page.
On that page I’ve hidden the search container on mobiles / tablets so they just see the new search option. All in all neater plus I don’t have to risk screwing up the coding somewhere without realising it.