Yea that's a little shocking. I know they've omitted Angel of Death a few times but they've always played Raining Blood and all four members have stated its their favorite song to play live.
Maybe they were told they needed to cut their set short mid set and just thought fast.
You know its true, bunny rabbits we have got lovely little fluffy bottoms. We do. That's why people often mistake us for Danny Devito.