my kid has bought a used Dell enterprise laptop at university surplus and installed Linux Mint on it

we're currently trying to figure out which battery it takes so we can order a replacement (there are two options, one is 3 cells and one is 4)

anyhow fedi levels are like 94% and rising in the household at this time, just thought y'all should know