After 13 years as an auto parts store outside salesman,the only thing
I could figure out battery life wasn't who made the battery but who owned the battery!
Go figure.
Good Luck!
If the coolant looks good,don't worry about a flush.
Just drain what you can and refill a 50/50 mix-distilled water preferably.
Don't overthink it!
Good Luck!
I would think good old conventional green coolant would be fine.
My L2501 has it as well as yours.
Don't over think it!
Others will disagree!
Good Luck!