Hi Chris,
I did. And it was convoluted and honestly don't recall how I eventually figured it out. Nonetheless, I had to do it again, struggled through it by memory, and finally wised up and wrote down my steps. These notes were written for one person in mind (myself), but perhaps they will help you, too. I have removed the service URLs (and if you use a different port, you will need to update that, too, of course), but these are otherwise my notes verbatim:
1. Go here: https://[server url]:6443/arcgis/admin/
2. Generate token for https://[hosted layer url]
3. Go to https://[server url]:6443/arcgis/admin/ and login with generated token
4. Once logged in, go to services
5. Click the correct service
6. Enter the following URL: https://[hosted layer url]/edit
7. Change "maxRecordCount": 1000, to another value, e.g. "maxRecordCount": 5000,
8. Save the edits
Side note: for step one, you may be able to go directly to https://[server url]/portal/sharing/rest/generateToken to generate the token.
Hopefully, my notes will be of use to you.
Todd