"... Don’t take the shortcut of chipping it off with a hammer and screwdriver..."

Indeed. I have defrosted the freezed in our RV many times, using a plastic "putty knife." The plastic blade won't penetrate the walls (if I do it properly), and make pretty fast work of a nasty job...