they should buy a second ssd if they want to dual boot Linux

It’s actually not necessary, I’ve been dual-booting on the same system drive for years without any issues at all.

The only thing that’s strictly necessary in that case is knowing darn well what you’re doing.