maybe I am missing it, but the manual does not indicate what the coolant capacity is. Does anyone know what the capacity is when changing it? Thanks!