Good comments by @Djones51.
I believe that a 4 TB HDD in a 2.5 inch/7 mm form factor is something that probably doesn’t exist, at least from a quality manufacturer.
Although I have no experience with Aurender products I don’t think you could go wrong with a 4 TB Samsung SSD, especially the "EVO" version. The somewhat less expensive "QVO" version just comes with a 3 year warranty, as opposed to the 5 year warranty of the EVO. Also, while it may not matter the QVO is rated for considerably fewer lifetime writes than the EVO (1440 TB vs. 2400 TB).
Unfortunately, though, the Samsung 4 TB EVO SSD costs $600 at
B&H or
Newegg, my go-to places for such things.
Best regards,
-- Al