"The interest on those loans are pretty low. To the extent that people recommend you max out your 401k before paying off your loans. "
You say this like this is normal advice.
People make all sorts of wild recommendations during a bull market, it wasn't that long ago that people were trading stories of buying Bitcoin with the money their grandparents gave thrm for college.