When I crashed my 800 in may, they changed so many parts, they had to refill the cooling system
and about 10km after picking up the bike, I had a low coolant warning.
Went back and they said it can happen as it was fully drained, so maybe just do a small ride staying
close by or pack the coolant, in the end mine needed 2-3dl to top it up.