I’d block tested before anything else. You need to find out why the coolant went low. Blue Devil, and stuff like that isn’t a repair. It usually used to get the vehicle home where it can be repaired properly. You also run the risk of restricting the thermostat or worse, the radiator.