$700 and it doesn't even come with an optical drive, oof. The optical upgrade kit for the digital-only PS5 Slim is $80, so the Pro is probably going to be closer to $800 in practice unless you're already all-in on digital.
Asking this as a PC gamer who went fully digital ~15 years ago: why are optical drives such a big deal, is that because of buying/selling used games?
I played Excitebike [0] on a friend's childhood NES and CRT TV while visiting over Thanksgiving. All we had to do was blow the dust off the cartridge, and we were living in 1984 again. Having physical copies makes this scenario far more likely to succeed.