Can't locate a driver download for 9130e driven by Mac OS 15.6. Videos, no files

[JJ757]

Need a print driver.  Can't duplex from Mc OS 15.6 to my 9130e printer.  Duplex is aok from Airprint.  Pretty sure I need the correct Mac OS driver, but I'm running in circles on the support page.  It accepts my model and OS, but doesn't list any files, only a bunch of unhelpful videos.  I'm more than capable of installing a driver on a Mac, I just need the blessed file!  Of course, the printer went off warranty in May..........

[ShlomiL]

Hi,

Please reset the printing system and then try configuring the printer by using the HP Smart for Mac app:

Note that this will remove any configured printer, if there are other printers installed be sure to remove the printer by using the minus button only within Scanners & Printers to avoid affecting other printers.

*Be aware that resetting the printer system will remove any existing print queue and reset any customized driver settings.

Click the Apple menu, and then click System Preferences .
Select Printers & Scanners.
Right-click (or Ctrl + click) your product in the Printers list in the left panel, and then click Reset printing system .
Click OK to confirm the reset.
Type your user Name and Password .
Click OK . The printing system resets.

Now download the HP Smart for Mac app and follow the steps on screen to configure the printer:

https://apps.apple.com/us/app/hp-smart-for-desktop/id1474276998?mt=12

Shlomi