(RAM and SSD prices have skyrocketed right now, hence the price). The old ones were then sold and replaced with a Crucial 2x32 GB Kit 5600Mhz CL46 CT2K32G56C46S5 in May 2024. It only shows up as 4800 MHz in Task Manager because only the i9 variant supports speeds above 4800 MHz.
eBay