I returned the HS1000 after it broke (although it was partially my fault it broke) and got the Oukitel P2001, which doesn't have the same issue. I did also get a Bluetti EB3A, which has a similar (though less limiting) issue as the HS1000. I got a big solar array for the P2001, and I bought this to allow the EB3A to use the big solar array, and it worked well. I also did some calculations to figure out which portable solar panel would work best with the EB3A directly.

https://www.wolframalpha.com/input?key=&i=y%3DB%281-%28%281-D%2FB%29*%28exp%28-C%2F%28%28%28%28C%2FA%29-1%29%2Fln%281-%28D%2FB%29%29%29*A%29%29%29%29*%28exp%28x%2F%28%28%28%28C%2FA%29-1%29%2Fln%281-%28D%2FB%29%29%29*A%29%29-1%29%29%3B+A%3D22.2%3B+B%3D12%3B+C%3D18%3B+D%3D11%3B+y%3D8.5

This link is a calculation for the voltage (x) and current (y) curve given the Voc (A), Isc (B), Vmp (C), and Imp (D) for a given solar setup. Since I plugged in A, B, C, D, and y, I can get a value for x, which is the voltage at the given current, and the given current is the max current for the EB3A, which is 8.5A.

I went ahead and did the same thing in a spreadsheet for the HS1000:

https://docs.google.com/spreadsheets/d/1P1NdLY0RhMhY1P7nxfL3L_ypWtBOs_vQtXfhwGl30ms/edit#gid=478190473

Looks like your best bet would be the Bluetti PV200 for a single unit at 167W, or three of the Jackery 60W units if you want to fiddle with putting three in parallel at 170W and a little cheaper.

You'll want to get a step down converter. Something like this: https://www.amazon.com/Converter-DROK-Adjustable-Regulator-Transformer/dp/B08LPVWX74/ref=sr_1_3

But be mindful of the max power draw. Your electric cooler might require a beefier converter.

Update: So I finally got some time to test a buck converter between the panel and the EB3A. TLDR: This is a viable solution, with a few caveats. Finding a buck converter that was rated for the power wasn't too tough. I used a DROK unit that was rated for the input voltage, and targeted an output voltage of 25 volts. As long as the panel was in full sun, I was successfully pushing about 130 watts into the EB3A. u/mrCloggy was right though, any shade on the panel did freak out the buck converter. While it's not the most elegant solution, it does work in a pinch. Thank you all for the considerations and guidance on this!

It says on the product 12-24volt input. The Aventon bikes are 48v-54v output. I think you will need a DC-DC buck converter. Then how do you patch into the bike???? I have been wanting to use the batteries as an emergency power source, but can't find a way to get the power out.

This is an example: Douk buck converter