Does anyone heat the pool for their dog?